Gaggles, Gentzen and Galois: how to display your favourite substructural logic

DOI10.1093/JIGPAL/6.5.669MaRDI QIDQ4221769zbMATH OpenOpenAlexFDO

Authors Rajeev Goré

Publication date 7 July 1999

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/6.5.669

zbMATH Keywords

display systemsgaggle theorytranslations of sequents

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Substructural logics on display
• Substructural logics: a primer
• Logics from Galois connections
• Displaying and deciding substructural logics. I: Logics with contraposition
• Intuitionistic propositional logic with Galois negations
• Intuitionistic propositional logic with Galois connections
• Gentzen-style axiomatizations in equational logic
• Towards universal logic: gaggle logics
• Towards universal logic: gaggle logics
• scientific article; zbMATH DE number 1907195

Cited in

(20)

• Dual gaggle semantics for entailment
• Displaying and deciding substructural logics. I: Logics with contraposition
• Bunched logics displayed
• Hypersequent and display calculi -- a unified perspective
• Disentangling structural connectives or life without display property
• Logicality, double-line rules, and modalities
• Paraconsistent logic
• Displaying updates in logic
• Craig interpolation in displayable logics
• A unified display proof theory for bunched logic
• Sequent Calculi for Normal Modal Propositional Logics
• Power and limits of structural display rules
• scientific article; zbMATH DE number 966898 (Why is no real title available?)
• Towards universal logic: gaggle logics
• Towards universal logic: gaggle logics
• Synchronized linear-time temporal logic
• Algebraic proof theory for LE-logics
• An expressivist strategy to understand logical forms
• Universal proof theory: semi-analytic rules and Craig interpolation
• Display calculi and other modal calculi: a comparison

This page was built for publication: Gaggles, Gentzen and Galois: how to display your favourite substructural logic

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