Towards universal logic: gaggle logics

MaRDI QIDQ5869717zbMATH OpenFDO

Authors Guillaume Aucher

Publication date 28 September 2022

zbMATH Keywords

action of groupdisplay calculusfree group and free productgaggle theorygroup theoryresiduationsubstructural logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 966898
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• scientific article; zbMATH DE number 549966
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Logic and groups

Cited in

(7)

• Dual gaggle semantics for entailment
• On the universality of atomic and molecular logics via protologics
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Syntactic Completeness of Proper Display Calculi
• scientific article; zbMATH DE number 966898 (Why is no real title available?)
• Towards universal logic: gaggle logics
• A van Benthem theorem for atomic and molecular logics

This page was built for publication: Towards universal logic: gaggle logics

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