|
|||||
|
|
Kripke‐style Semantics of Orthomodular Logics |
|
| Authors: | Yutaka Miyazaki |
| Abstract: | We present here a Kripke‐style semantics for propositional orthomodular logics that is based on the representation theorem for orthomodular lattices by D.J. Foulis ([2]), in which a sort of semigroups is employed. This semantics can characterize the logics above the orthomodular logic by some elementary conditions. |
| Keywords: | Orthomodular logic Orthmodular lattice Kripke‐style semantics |