Unified quantum logic

Foundations of Physics 19 (8):999-1016 (1989)
  Copy   BIBTEX

Abstract

Unified quantum logic based on unified operations of implication is formulated as an axiomatic calculus. Soundness and completeness are demonstrated using standard algebraic techniques. An embedding of quantum logic into a new modal system is carried out and discussed

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
Completeness of quantum logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Are the Laws of Quantum Logic Laws of Nature?Peter Mittelstaedt - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (2):215-222.
Operational foundation of quantum logic.P. Mittelstaedt & E. W. Stachow - 1974 - Foundations of Physics 4 (3):355-365.
Partial and unsharp quantum logics.M. L. Dalla Chiara & R. Giuntini - 1994 - Foundations of Physics 24 (8):1161-1177.
Only If 'Acrobatic Logic' is Non-Boolean.Slawomir Bugajski - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:264 - 271.
Extended quantum logic.Kenji Tokuo - 2003 - Journal of Philosophical Logic 32 (5):549-563.
On quantum logic.T. A. Brody - 1984 - Foundations of Physics 14 (5):409-430.
Correlations, Contextuality and Quantum Logic.Allen Stairs & Jeffrey Bub - 2013 - Journal of Philosophical Logic 42 (3):483-499.

Analytics

Added to PP
2013-12-01

Downloads
14 (#907,727)

6 months
3 (#760,965)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
Begründung einer strengen Implikation.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):113-128.

View all 26 references / Add more references