Kripke-style Semantics of Orthomodular Logics

@article{Miyazaki1999KripkestyleSO,
  title={Kripke-style Semantics of Orthomodular Logics},
  author={Yutaka Miyazaki},
  journal={Math. Log. Q.},
  year={1999},
  volume={47},
  pages={341-362}
}
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. Mathematics Subject Classification: 03G10, 06C15, 06B15, 81P10. 

Topics from this paper.

Citations

Publications citing this paper.

Modal-type orthomodular logic

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

Lattice Theory and Quantum Logic

S. Maeda
  • Makishoten, Tokyo
  • 1980
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Semantic analysis of orthologic

  • J. Philosophical Logic
  • 1974
VIEW 2 EXCERPTS

A note on orthomodular lattices

D. J. Foulis
  • Portugaliae Math
  • 1962