A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC

DOI10.1017/S1755020322000016MaRDI QIDQ6148471zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

substructural logicquantum logicorthomodular latticeGentzen systemleft residuated \(\ell \)-groupoid

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantum logic (03G12)

Cites work

• scientific article; zbMATH DE number 5772813 (Why is no real title available?)
• scientific article; zbMATH DE number 3819714 (Why is no real title available?)
• scientific article; zbMATH DE number 1512853 (Why is no real title available?)
• Abstract algebraic logic. An introductory textbook
• Central and Exchange Properties of Orthomodular Lattices
• Coordinatization of Orthocomplemented and Orthomodular Posets
• Correspondences between gentzen and hilbert systems
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Equivalence of consequence operations
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Involutive nonassociative Lambek calculus: sequent systems and complexity
• Involutive right-residuated l-groupoids
• Material implications in orthomodular (and Boolean) lattices
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• Orthomodular Logic
• Orthomodular lattices can be converted into left residuated l-groupoids
• Proof theory. Sequent calculi and related formalisms
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Residuated lattices. An algebraic glimpse at substructural logics
• Residuated structures and orthomodular lattices
• Semantic analysis of orthologic
• Sequential method in quantum logic
• Substructural logics: a primer
• THE STRUCTURE OF RESIDUATED LATTICES
• The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
• The connectives
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• The semantics and proof theory of linear logic

Cited in

(2)

• Towards a quantum logic of paradox
• Nested-sequent calculus for modal logic \textbf{MB}

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)