A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
From MaRDI portal
Publication:6148471
DOI10.1017/s1755020322000016OpenAlexW4210723037WikidataQ114012123 ScholiaQ114012123MaRDI QIDQ6148471
Francesco Paoli, Antonio Ledda, Davide Fazio, Gavin st. John
Publication date: 11 January 2024
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020322000016
orthomodular latticequantum logicsubstructural logicGentzen systemleft residuated \(\ell \)-groupoid
Quantum logic (03G12) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Residuated lattices. An algebraic glimpse at substructural logics
- The semantics and proof theory of linear logic
- Material implications in orthomodular (and Boolean) lattices
- Semantic analysis of orthologic
- Substructural logics: a primer
- The Sasaki hook is not a [static implicative connective but induces a backward [in time] dynamic one that assigns causes]
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Residuated structures and orthomodular lattices
- Involutive right-residuated l-groupoids
- Equivalence of consequence operations
- THE STRUCTURE OF RESIDUATED LATTICES
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Correspondences between gentzen and hilbert systems
- Sequential method in quantum logic
- Central and Exchange Properties of Orthomodular Lattices
- Orthomodular Logic
- Orthomodular lattices can be converted into left residuated l-groupoids
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
- Proof Theory
- Coordinatization of Orthocomplemented and Orthomodular Posets