Modal‐type orthomodular logic

Mathematical Logic Quarterly 55 (3):307-319 (2009)

In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*-semigroups as in [22].
Keywords orthomodular lattices  Baer*‐semigroups  Modal orthomodular logic
Categories (categorize this paper)
DOI 10.1002/malq.200710088
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,993
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
The Logic of Quantum Mechanics.Garrett Birkhoff & John von Neumann - 1937 - Journal of Symbolic Logic 2 (1):44-45.
Quantum Logic and Physical Modalities.M. L. Dalla Chiara - 1977 - Journal of Philosophical Logic 6 (1):391-404.

View all 11 references / Add more references

Citations of this work BETA

Interpreting the Modal Kochen–Specker Theorem: Possibility and Many Worlds in Quantum Mechanics.Christian de Ronde, Hector Freytes & Graciela Domenech - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 45:11-18.

Add more citations

Similar books and articles

Daggers, Kernels, Baer *-Semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
Type-Decomposition of an Effect Algebra.David J. Foulis & Sylvia Pulmannová - 2010 - Foundations of Physics 40 (9-10):1543-1565.
Modal Propositional Logic on an Orthomodular Basis. I.L. Herman & R. Piziak - 1974 - Journal of Symbolic Logic 39 (3):478-488.
Coreflections in Algebraic Quantum Logic.Bart Jacobs & Jorik Mandemaker - 2012 - Foundations of Physics 42 (7):932-958.
Kripke-Style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Orthomodular Lattices as Implication Algebras.Robert Piziak - 1974 - Journal of Philosophical Logic 3 (4):413 - 418.


Added to PP index

Total views
23 ( #369,879 of 2,259,693 )

Recent downloads (6 months)
3 ( #500,092 of 2,259,693 )

How can I increase my downloads?


My notes

Sign in to use this feature