In this paper we develope a Kripke style semantic for the logic of two-valued states on orthomodular lattices. Kripke models are built from Baerâsemigroups enriched with an unary operation. A completeness theorem with respect to this Kripkean semantic is established.
Kripke Style Semantic for the Logic of Two Valued-States
Freytes, Hector
;
2017-01-01
Abstract
In this paper we develope a Kripke style semantic for the logic of two-valued states on orthomodular lattices. Kripke models are built from Baerâsemigroups enriched with an unary operation. A completeness theorem with respect to this Kripkean semantic is established.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Krpke style semantic.pdf
Solo gestori archivio
Descrizione: Artcolo Principale
Tipologia:
versione post-print (AAM)
Dimensione
462.74 kB
Formato
Adobe PDF
|
462.74 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
