A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
DOI10.1017/S1755020322000016OpenAlexW4210723037WikidataQ114012123 ScholiaQ114012123MaRDI QIDQ6148471FDOQ6148471
Authors: Davide Fazio, Antonio Ledda, Francesco Paoli, 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
substructural logicquantum logicorthomodular latticeGentzen systemleft residuated \(\ell \)-groupoid
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantum logic (03G12)
Cites Work
- The semantics and proof theory of linear logic
- Substructural logics: a primer
- The connectives
- Residuated lattices. An algebraic glimpse at substructural logics
- THE STRUCTURE OF RESIDUATED LATTICES
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Semantic analysis of orthologic
- Equivalence of consequence operations
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Abstract algebraic logic. An introductory textbook
- Correspondences between gentzen and hilbert systems
- Title not available (Why is that?)
- Coordinatization of Orthocomplemented and Orthomodular Posets
- The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Title not available (Why is that?)
- Material implications in orthomodular (and Boolean) lattices
- Sequential method in quantum logic
- Orthomodular Logic
- Title not available (Why is that?)
- Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
- Central and Exchange Properties of Orthomodular Lattices
- Orthomodular lattices can be converted into left residuated l-groupoids
- Involutive nonassociative Lambek calculus: sequent systems and complexity
- Proof theory. Sequent calculi and related formalisms
- Residuated structures and orthomodular lattices
- Involutive right-residuated l-groupoids
This page was built for publication: A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6148471)
