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
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