< Terug naar vorige pagina
Publicatie
Kripke Style Semantic for the Logic of Two Valued-States
Tijdschriftbijdrage - Tijdschriftartikel
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.
Tijdschrift: International Journal of Theoretical Physics
ISSN: 0020-7748
Issue: 12
Volume: 56
Pagina's: 3953-3962
Jaar van publicatie:2017
CSS-citation score:1
Toegankelijkheid:Closed