Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach

DOI10.1007/S10773-006-9060-0MaRDI QIDQ2506098zbMATH OpenOpenAlexFDO

Authors Piotr Wilczek

Publication date 28 September 2006

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0507209

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Operator algebra methods applied to problems in quantum theory (81R15)

Abstract: In this paper we present the fundamentals of the so-called algebraic approach to propositional quantum logics. We define the set of formulas describing quantum reality as a free algebra freely generated by the set of quantum propositional variables. We define the general notion of logic as a structural consequence operation. Next we introduce the concept of logical matrices understood as a models of quantum logics. We give the definitions of two quantum consequence operations defined in these models.

Recommendations

• scientific article; zbMATH DE number 1790849
• Connections among quantum logics. I: Quantum propositional logics
• Concrete quantum logics
• scientific article; zbMATH DE number 195031
• Quantum logic and the classical propositional calculus

Cites work

• A survey of abstract algebraic logic
• Foundations of quantum physics: a general realistic and operational approach
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 3554269 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 2097001 (Why is no real title available?)
• Matrix approach in methodology of sentential calculi
• Quantum logic, Hilbert space, revision theory
• Semantic analysis of orthologic
• Strong versus weak quantum consequence operations
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(4)

• A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 1790849 (Why is no real title available?)
• scientific article; zbMATH DE number 975286 (Why is no real title available?)

This page was built for publication: Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2506098)