A natural deduction system for orthomodular logic

DOI10.1017/S1755020323000229MaRDI QIDQ6638239FDOQ6638239

Authors: Andre Kornell 

Publication date: 14 November 2024

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

zbMATH Keywords

natural deductionquantum logicquantum measurementsequent calculusorthomodular logicquantum setFitch system

Mathematics Subject Classification ID

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

Cites Work

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