A natural deduction system for orthomodular logic

DOI10.1017/S1755020323000229MaRDI QIDQ6638239

Andre Kornell

Publication date: 14 November 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

sequent calculusquantum logicnatural deductionquantum measurementorthomodular logicquantum setFitch system

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Nonclassical and second-order set theories (03E70) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Quantum logic (03G12)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantum homomorphisms
• Hilbert lattice equations
• Kochen-Specker sets and generalized orthoarguesian equations
• A double deduction system for quantum logic based on natural deduction
• Quantum deformation of Lorentz group
• A topos for algebraic quantum theory
• On a class of orthomodular quadratic spaces
• Equational bases for some varieties of orthomodular lattices related to states
• Minimal quantum logic with merged implications
• Material implications in orthomodular (and Boolean) lattices
• An axiom system for orthomodular quantum logic
• The conditional in quantum logic
• Quantum logic and physical modalities
• Generalized normal logic
• On the geometry of orthomodular spaces over fields of power series
• Proof theory for minimal quantum logic. I
• Semantic analysis of orthologic
• Quantum set theory extending the standard probabilistic interpretation of quantum theory
• Die Eindeutigkeit der Schrödingerschen Operatoren.
• On the rules of suppositions in formal logic
• Natural deduction for quantum logic
• Quantum and non-signalling graph isomorphisms
• Quantum reality and measurement: a quantum logical approach
• The commutator and solvability in a generalized orthomodular lattice
• Implication connectives in orthomodular lattices
• The logic of quantum mechanics.
• Untersuchungen über das logische Schließen. I.
• Untersuchungen über das logische Schließen. II.
• Quantum set theory: transfer principle and De Morgan's laws
• Quantum logic is undecidable
• Mathematical quantization
• Is quantum logic a logic?
• A completeness theorem of quantum set theory
• Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number
• The Blind Spot
• The deduction theorem for quantum logic—some negative results
• Sequential method in quantum logic
• VARIETIES OF ORTHOMODULAR LATTICES WITH A STRONGLY FULL SET OF STATES
• Orthomodular Logic
• Locally compact quantum groups in the von Neumann algebraic setting
• ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
• A New Approach to Quantum Logic
• Symmetric Quantum Sets and L-Algebras
• Quantum sets
• Tsirelson’s problem and an embedding theorem for groups arising from non-local games
• Transfer principle in quantum set theory
• A Presentation of Quantum Logic Based on an and then Connective
• Quantum logic as an implication algebra
• A von Neumann Algebra Approach to Quantum Metrics/Quantum Relations
• A von Neumann Algebra Approach to Quantum Metrics/Quantum Relations
• The consistency of arithmetics
• Equations, states, and lattices of infinite-dimensional Hilbert spaces
• Studies on the foundation of quantum mechanics. I.
• A BRIDGE BETWEEN Q-WORLDS

This page was built for publication: A natural deduction system for orthomodular logic

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