Towards universal logic: gaggle logics

MaRDI QIDQ5869717zbMATH OpenFDO

Authors Guillaume Aucher

Publication date 28 September 2022

zbMATH Keywords

group theorysubstructural logicsresiduationdisplay calculusgaggle theoryaction of groupfree group and free product

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

(6)

• Dual gaggle semantics for entailment
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Syntactic Completeness of Proper Display Calculi
• Towards universal logic: gaggle logics
• A van Benthem theorem for atomic and molecular logics
• On the universality of atomic and molecular logics via protologics

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)