Towards universal logic: gaggle logics

MaRDI QIDQ5883175zbMATH OpenFDO

Authors Guillaume Aucher

Publication date 29 March 2023

zbMATH Keywords

action of groupdisplay calculusfree group and free productgaggle theorygroup theoryresiduationsubstructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other nonclassical logic (03B60) Applications of logic to group theory (20A15) General theory for finite permutation groups (20B05) Free nonabelian groups (20E05)

Recommendations

• Towards universal logic: gaggle logics
• scientific article; zbMATH DE number 966898
• scientific article; zbMATH DE number 549966
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Dual gaggle semantics for entailment

Cited in

(3)

• On the universality of atomic and molecular logics via protologics
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• 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 Q5883175)