Abstract
The notion of unsharp orthoalgebra is introduced and it is proved that the category of unsharp orthoalgebras is isomorphic to the category of D-posets. A completeness theorem for some partial logics based on unsharp orthoalgebras, orthoalgebras and orthomodular posets is proved.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
S. Bugajski, ‘Nonlinear quantun mechanics is a classical theory’,International Journal of Theoretical Physics 30 1991, 961–971.
G. Cattaneo andF. Laudisa, ‘Axiomatic quantum mechanics’,Foundations of Physics 24 1994, 631–681.
J. Czelakowski, ‘Logics based on partial Boolean σ-algebras’,Studia Logica 33 1974, 371–396.
M.L. Dalla Chiara, ‘Quantum logic’, (ed.)s D. Gabbay, F. Guenthner, in:Handbook of Philosophical Logic III, Reidel, Dordrecht 1986.
M. L. Dalla Chiara andR. Giuntini, ‘Unsharp quantum logics’,Foundations of Physics 24 1994, 1161–1177.
D.J. Foulis, R.J. Greechie andG.T. Rüttimann, ‘Filters and supports in orthoalgebras’,International Journal of Theoretical Physics 31 1992, 787–807.
D.J. Foulis andC. Randall, ‘Empirical logics’, (ed.) H. Neumann, in:Interpretations and Foundations of Quantum Mechanics Bibliographisches Institut, Mannheim 1981.
R. Giuntini andH. Greuling, ‘Toward a formal language for unsharp properties’,Foundations of Physics 20 1989, 931–935.
R. Goldblatt, ‘Semantic analysis of orthologic’,Journal of Philosophical Logic 2 1974, 19–35.
G. Hardegree andP. Lock, ‘Connections among quantum logics’,International Journal of Theoretical Physics 24 1984, 43–53.
S. Kochen andE. Specker, ‘The calculus of partial propositional functions’, (ed.) Y. Bar-Hillen, in:Logic, Methodology and the Philosophy of Science, North-Holland, Amsterdam.
F. Kôpka andF. Chovanec, ‘D-posets’,Mathematica Slovaca 44 1994, 21–34.
M. Navara andP. Pták, ‘Difference posets and orthoalgebras’, (submitted).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dalla Chiara, M.L., Giuntini, R. The logics of orthoalgebras. Stud Logica 55, 3–22 (1995). https://doi.org/10.1007/BF01053029
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01053029