Dual gaggle semantics for entailment

DOI10.1215/00294527-2008-025MaRDI QIDQ1038602zbMATH OpenOpenAlexFDO

Authors Katalin Bimbó

Publication date 18 November 2009

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2008-025

zbMATH Keywords

cut-free proofsentailmentgaggle theoryrelevance logicssequent calculustopological duality theory

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Categorical semantics of formal languages (18C50)

Recommendations

• scientific article; zbMATH DE number 966898
• Dual-context sequent calculus and strict implication
• Towards universal logic: gaggle logics
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• The syntax and semantics of entailment in duality theory

Cited in

(10)

• Symmetric generalized Galois logics
• Current trends in substructural logics
• Interpretations of weak positive modal logics
• R-Mingle is Nice, and so is Arnon Avron
• Larisa Maksimova’s Early Contributions to Relevance Logic
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Towards universal logic: gaggle logics
• Topological duality for orthomodular lattices
• Implicational tonoids and their representations
• Entailment, mingle and binary accessibility

This page was built for publication: Dual gaggle semantics for entailment

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