A new axiomatization of unified quantum logic

DOI10.1007/BF00671784MaRDI QIDQ685166zbMATHFDO

Authors Mladen Pavičić

Publication date 30 September 1993

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

zbMATH Keywords

axiomatizationalgebraic semanticsstatistical basisunified quantum logic

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Probabilistic forcing in quantum logics
• Unification of two approaches to quantum logic: Every Birkhoff-von Neumann quantum logic is a partial infinite-valued Łukasiewicz logic
• From basic logic to quantum logics with cut-elimination
• Connections among quantum logics. I: Quantum propositional logics
• Axiomatization of quantum logics

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3142477 (Why is no real title available?)
• scientific article; zbMATH DE number 3948264 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (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 1028822 (Why is no real title available?)
• An axiom system for orthomodular quantum logic
• Bibliography on quantum logics and related structures
• Equational bases for some varieties of orthomodular lattices related to states
• Equationally definable implication algebras for orthomodular lattices
• Generalized normal logic
• Imbedding of the quantum logic in the modal system of Brower
• Minimal quantum logic with merged implications
• Orthoimplication algebras
• Orthomodular Logic
• Orthomodular lattices admitting no states
• Orthomodular lattices as implication algebras
• Orthomodularity is not elementary
• Quantum logic as an implication algebra
• SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
• Semantic analysis of orthologic
• Sequential method in quantum logic
• Stalnaker conditionals and quantum logic
• There is a probabilistic semantics for every extension of classical sentence logic
• Varieties of orthomodular lattices related to states

Cited in

(8)

• scientific article; zbMATH DE number 5377428 (Why is no real title available?)
• Nonordered quantum logic and its YES-NO representation
• Effect algebras and unsharp quantum logics.
• An unsharp logic from quantum computation
• Multideductive logic and the theoretic-formal unification of physical theories
• A complete axiomatisation for the logic of lattice effect algebras
• Weakly complete axiomatization of exogenous quantum propositional logic
• Probabilistic forcing in quantum logics

This page was built for publication: A new axiomatization of unified quantum logic

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