Stefano Pau
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 | Dimensione | Formato | |
---|---|---|---|
Krpke style semantic.pdf Solo gestori archivio
Descrizione: Artcolo Principale
Tipologia: versione post-print
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.