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

Gentzen systemleft residuated \(\ell \)-groupoidorthomodular latticequantum logicsubstructural logic

Mathematics Subject Classification ID

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

Cites work

• 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
• 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?)
• 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 lattices can be converted into left residuated l-groupoids
• Orthomodular Logic
• 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 connectives
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
• The semantics and proof theory of linear logic
• THE STRUCTURE OF RESIDUATED LATTICES

Cited in

(2)

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

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)