A natural deduction system for orthomodular logic
arXiv:2109.05383 · doi:10.1017/S1755020323000229
Abstract
Orthomodular logic is a weakening of quantum logic in the sense of Birkhoff and von Neumann. Orthomodular logic is shown to be a nonlinear noncommutative logic. Sequents are given a physically motivated semantics that is consistent with exactly one semantics for propositional formulas that use negation, conjunction, and implication. In particular, implication must be interpreted as the Sasaki arrow, which satisfies the deduction theorem in this logic. As an application, this deductive system is extended to two systems of predicate logic: the first is sound for Takeuti's quantum set theory, and the second is sound for a variant of Weaver's quantum logic.
arXiv comment36 pages; "fragment" corrected to "weakening" in the abstract
References in corpus (17)
- Noncommuting mixed states cannot be broadcast
- Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function
- A topos for algebraic quantum theory
- Graph Homomorphisms for Quantum Players
- Tsirelson's problem and an embedding theorem for groups arising from non-local games
- Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory
- Quantum Reality and Measurement: A Quantum Logical Approach
- Quantum logic is undecidable
- A presentation of Quantum Logic based on an "and then" connective
- Quantum sets
- Orthomodular-Valued Models for Quantum Set Theory
- Kochen-Specker Sets and Generalized Orthoarguesian Equations
- Hilbert Lattice Equations
- Quantum Set Theory: Transfer Principle and De Morgan's Laws
- A Bridge Between Q-Worlds
- Discrete quantum structures
- Non-associative and projective linear logics