- Home
- Publications
- Publication Search
- Publication Details
Title
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC
Authors
Keywords
-
Journal
Review of Symbolic Logic
Volume -, Issue -, Pages 1-40
Publisher
Cambridge University Press (CUP)
Online
2023-07-10
DOI
10.1017/s1755020323000229
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- (2022) DAVIDE FAZIO et al. Review of Symbolic Logic
- Implicational quantum logic
- (2022) Kenji Tokuo Axiomathes
- Natural Deduction for Quantum Logic
- (2022) K. Tokuo Logica Universalis
- Quantum set theory: Transfer Principle and De Morgan's Laws
- (2021) Masanao Ozawa ANNALS OF PURE AND APPLIED LOGIC
- Symmetric Quantum Sets and L-Algebras
- (2020) Wolfgang Rump INTERNATIONAL MATHEMATICS RESEARCH NOTICES
- A Bridge Between Q-Worlds
- (2020) Andreas Döring et al. Review of Symbolic Logic
- Quantum logic is undecidable
- (2020) Tobias Fritz ARCHIVE FOR MATHEMATICAL LOGIC
- Quantum sets
- (2020) Andre Kornell JOURNAL OF MATHEMATICAL PHYSICS
- Tsirelson’s problem and an embedding theorem for groups arising from non-local games
- (2019) William Slofstra JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY
- Quantum and non-signalling graph isomorphisms
- (2018) Albert Atserias et al. JOURNAL OF COMBINATORIAL THEORY SERIES B
- ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
- (2017) MASANAO OZAWA Review of Symbolic Logic
- Quantum homomorphisms
- (2016) Laura Mančinska et al. JOURNAL OF COMBINATORIAL THEORY SERIES B
- Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory
- (2016) Masanao Ozawa NEW GENERATION COMPUTING
- Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number
- (2012) Runyao Duan et al. IEEE TRANSACTIONS ON INFORMATION THEORY
- Kochen–Specker Sets and Generalized Orthoarguesian Equations
- (2011) Norman D. Megill et al. ANNALES HENRI POINCARE
- A von Neumann Algebra Approach to Quantum Metrics/Quantum Relations
- (2011) Greg Kuperberg et al. MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY
- Hilbert Lattice Equations
- (2010) Norman D. Megill et al. ANNALES HENRI POINCARE
- Quantum Reality and Measurement: A Quantum Logical Approach
- (2010) Masanao Ozawa FOUNDATIONS OF PHYSICS
- A Topos for Algebraic Quantum Theory
- (2009) Chris Heunen et al. COMMUNICATIONS IN MATHEMATICAL PHYSICS
Publish scientific posters with Peeref
Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.
Learn MoreFind the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
Search