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