Classical logic and quantum logic with multiple and common lattice models

DOI10.1155/2016/6830685zbMath1356.81056arXiv1609.00822OpenAlexW3104748141WikidataQ59122540 ScholiaQ59122540MaRDI QIDQ504691

Mladen Pavičić

Publication date: 17 January 2017

Published in: Advances in Mathematical Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.00822

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Classical propositional logic (03B05) Quantum logic (03G12)

Related Items

Propositional counter-factual definiteness and the EPR paradox

Cites Work

• Quantum logic as a dynamic logic
• Nonordered quantum logic and its YES-NO representation
• A link between quantum logic and categorical quantum mechanics
• Complete axiomatizations for quantum actions
• Minimal quantum logic with merged implications
• Bibliography on quantum logics and related structures
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Completeness of quantum logic
• Generalized normal logic
• Quantum and classical implication algebras with primitive implications
• Identity rule for classical and quantum theories
• Semantic analysis of orthologic
• Equivalencies, identities, symmetric differences, and congruences in orthomodular lattices
• State-dependent implication and equivalence in quantum logic
• Quantum logics of idempotents of unital rings
• Weakly complete axiomatization of exogenous quantum propositional logic
• Semantics of the minimal logic of quantum mechanics
• The logic of quantum mechanics
• Orthologic and quantum logic
• Non-signaling boxes and quantum logics
• Standard Logics Are Valuation-Nonmonotonic
• Sequential method in quantum logic
• Orthomodular Logic
• Lectures on Quantum Theory
• A categorical quantum logic
• Algorithms for Greechie diagrams
• Quantum logic, Hilbert space, revision theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item