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
Kripke frames; Orthomodular logic; Two-valued states; Mathematics (all); Physics and Astronomy (miscellaneous)
Files in This Item:
File Size Format  
Krpke style semantic.pdf

Solo gestori archivio

Description: Artcolo Principale
Type: versione post-print
Size 462.74 kB
Format Adobe PDF
& nbsp; View / Open   Request a copy
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.

Questionnaire and social

Share on:
Impostazioni cookie