INVESTIGADORES
DE RONDE Christian
artículos
Título:
Kripke style semantic for the logic of two valued states
Autor/es:
CHRISTIAN DE RONDE
Revista:
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
Editorial:
SPRINGER/PLENUM PUBLISHERS
Referencias:
Lugar: New York; Año: 2017 vol. 56 p. 3953 - 3962
ISSN:
0020-7748
Resumen:
In this paper we develope a Kripke style models for the logic of two-valued states on orthomodular lattices. These models are built from Baer semigroups enriched with an unary operation. A completeness theorem with respect to this Kripkean semantic is established.
