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.
2017
Inglese
56
12
3953
3962
10
WOS:000414787000024
2-s2.0-85018457535
http://www.kluweronline.com/issn/0020-7748
Esperti anonimi
internazionale
scientifica
Kripke frames; Orthomodular logic; Two-valued states; Mathematics (all); Physics and Astronomy (miscellaneous)
sì
Freytes, Hector; de Ronde, Christian; Domenech, Graciela
1.1 Articolo in rivista
info:eu-repo/semantics/article
1 Contributo su Rivista::1.1 Articolo in rivista
262
3
reserved
File in questo prodotto:
File Dimensione Formato  
Krpke style semantic.pdf

Solo gestori archivio

Descrizione: Artcolo Principale
Tipologia: versione post-print
Dimensione 462.74 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
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.

Questionario e social

Condividi su:
Impostazioni cookie