Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. A central question is how to introduce implication in such a logic. We give a positive answer whenever the orthomodular poset in question is of finite height. The crucial advantage of our solution is that the corresponding algebra, called implication orthomodular poset, i.e. a poset equipped with a binary operator of implication, corresponds to the original orthomodular poset and that its implication operator is everywhere defined. We present here a complete list of axioms for implication orthomodular posets. This enables us to derive an axiomatization in Gentzen style for the algebraizable logic of orthomodular posets of finite height.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzaa067
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,262
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

Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Type-Decomposition of an Effect Algebra.David J. Foulis & Sylvia Pulmannová - 2010 - Foundations of Physics 40 (9-10):1543-1565.
Kripke-Style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Modal‐Type Orthomodular Logic.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.
The Unique Jordan-Hahn Decomposition Property.Christian Schindler - 1990 - Foundations of Physics 20 (5):561-573.
Partial and Unsharp Quantum Logics.M. L. Dalla Chiara & R. Giuntini - 1994 - Foundations of Physics 24 (8):1161-1177.
Quantum Logic Properties of Hypergraphs.Matthias P. Kläy - 1987 - Foundations of Physics 17 (10):1019-1036.
First-Order Frames for Orthomodular Quantum Logic.Chrysafis Hartonas - 2016 - Journal of Applied Non-Classical Logics 26 (1):69-80.


Added to PP index

Total views
5 ( #1,178,256 of 2,455,691 )

Recent downloads (6 months)
2 ( #303,332 of 2,455,691 )

How can I increase my downloads?


My notes