The geometry of non-distributive logics

DOI10.2178/JSL/1129642117zbMATH Open1100.03049OpenAlexW2134446632MaRDI QIDQ5486243FDOQ5486243

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

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

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)

Cites Work

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

Cited In (17)

• Distribution in the Logic of Meaning Containment and in Quantum Mechanics
• Proof theory of paraconsistent quantum logic
• Title not available (Why is that?)
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Geometric nontermination arguments
• Logic of differential calculus and the Zoo of geometric structures
• Title not available (Why is that?)
• Hopeful monsters: a note on multiple conclusions
• Notes on the geometry of logic and philosophy
• 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
• A discrete duality between nonmonotonic consequence relations and convex geometries
• BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE
• WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
• Title not available (Why is that?)

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)