Dual gaggle semantics for entailment
From MaRDI portal
Publication:1038602
DOI10.1215/00294527-2008-025zbMath1190.03024MaRDI QIDQ1038602
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
sequent calculus; entailment; relevance logics; cut-free proofs; gaggle theory; topological duality theory
03F05: Cut-elimination and normal-form theorems
18C50: Categorical semantics of formal languages
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
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, Topological duality for orthomodular lattices, Current trends in substructural logics, Symmetric generalized Galois logics