Back to Search
Start Over
Kripke Style Semantic for the Logic of Two Valued-States.
- Source :
-
International Journal of Theoretical Physics . Dec2017, Vol. 56 Issue 12, p3953-3962. 10p. - Publication Year :
- 2017
-
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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00207748
- Volume :
- 56
- Issue :
- 12
- Database :
- Academic Search Index
- Journal :
- International Journal of Theoretical Physics
- Publication Type :
- Academic Journal
- Accession number :
- 126112805
- Full Text :
- https://doi.org/10.1007/s10773-017-3400-0