The geometry of non-distributive logics

DOI10.2178/JSL/1129642117MaRDI QIDQ5486243zbMATH OpenOpenAlexFDO

Authors Greg Restall, Francesco Paoli

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 eliminationnormalisationorthologicnatural deduction systemextensions of lattice logicnegation connectives

Mathematics Subject Classification ID

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

Recommendations

• Lattice logic properly displayed
• Natural deduction systems for some non-commutative logics
• Proof systems for lattice theory
• scientific article; zbMATH DE number 2020175
• The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1

Cites work

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

Cited in

(20)

• scientific article; zbMATH DE number 4120169 (Why is no real title available?)
• Iterating both and neither: with applications to the paradoxes
• Weak disharmony: some lessons for proof-theoretic semantics
• Proof theory of paraconsistent quantum logic
• Belief revision, probabilism, and logic choice
• scientific article; zbMATH DE number 7166981 (Why is no real title available?)
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Geometric nontermination arguments
• Proof-theoretic analysis of subabelian lattice logic
• Logic of differential calculus and the Zoo of geometric structures
• scientific article; zbMATH DE number 5864581 (Why is no real title available?)
• Hopeful monsters: a note on multiple conclusions
• Notes on the geometry of logic and philosophy
• Distribution in the logic of meaning containment and in quantum mechanics
• Multi-valued Logic for a Point-Free Foundation of Geometry
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• Logical geometries and information in the square of oppositions
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• Lattice logic properly displayed
• A discrete duality between nonmonotonic consequence relations and convex geometries

This page was built for publication: The geometry of non-distributive logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5486243)