Towards universal logic: gaggle logics

MaRDI QIDQ5869717FDOQ5869717

Authors: Guillaume Aucher 

Publication date: 28 September 2022

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

zbMATH Keywords

group theorysubstructural logicsresiduationdisplay calculusgaggle theoryaction of groupfree group and free product

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (6)

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

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)