The geometry of non-distributive logics

DOI10.2178/jsl/1129642117zbMath1100.03049OpenAlexW2134446632MaRDI QIDQ5486243

Francesco Paoli, Greg Restall

Publication date: 6 September 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.9101

zbMATH Keywords

cut eliminationnatural deduction systemnormalisationorthologicextensions of lattice logicnegation connectives

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Quantum logic (03G12)

Related Items

Lattice logic as a fragment of (2-sorted) residuated modal logic, Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems, Proof theory of paraconsistent quantum logic, Distribution in the Logic of Meaning Containment and in Quantum Mechanics, WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS, BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE, Hopeful monsters: a note on multiple conclusions, Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi

Cites Work

• Unnamed Item
• Linear logic
• Cut elimination and word problems for varieties of lattices
• Duplication of directed graphs and exponential blow up of proofs
• The structure of multiplicatives
• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
• The additive multiboxes