scientific article; zbMATH DE number 966898

MaRDI QIDQ5690150zbMATHzbMATHFDO

Authors Greg Restall

Publication date 15 January 1997

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)

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

Cited in

(12)

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

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)