scientific article; zbMATH DE number 966898

zbMATH Open0858.03036MaRDI QIDQ5690150FDOQ5690150

Authors: Greg Restall 

Publication date: 15 January 1997

Title of this publication is not available (Why is that?)

Recommendations

• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Towards universal logic: gaggle logics
• Bunched logics displayed
• A unified display proof theory for bunched logic
• Displaying modal logic

zbMATH Keywords

semanticsdisplay logicgaggle theorydisplay proof theorycut-free consecution calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) General logic (03B99)

Cited In (10)

• Current trends in substructural logics
• Linear logic displayed
• Dual gaggle semantics for entailment
• The display problem revisited
• On displaying negative modalities
• Hypersequent and display calculi -- a unified perspective
• Sequent Calculi for Normal Modal Propositional Logics
• A unified display proof theory for bunched logic
• Bunched logics displayed
• Disentangling structural connectives or life without display property

This page was built for publication:

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