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 | Size | Format | |
---|---|---|---|
Krpke style semantic.pdf Solo gestori archivio
Description: Artcolo Principale
Type: versione post-print
Size 462.74 kB
Format Adobe PDF
|
462.74 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.