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

DOI10.1093/jigpal/6.5.669zbMath0917.03025OpenAlexW2010987503MaRDI QIDQ4221769

Rajeev Goré

Publication date: 7 July 1999

Published in: Logic Journal of 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

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

Related Items (9)

Paraconsistent logic ⋮ Power and Limits of Structural Display Rules ⋮ Logicality, double-line rules, and modalities ⋮ A Unified Display Proof Theory for Bunched Logic ⋮ Bunched logics displayed ⋮ Synchronized linear-time temporal logic ⋮ Craig Interpolation in Displayable Logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ 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