Dual gaggle semantics for entailment

DOI10.1215/00294527-2008-025zbMath1190.03024OpenAlexW2080928384MaRDI QIDQ1038602

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

sequent calculusentailmentrelevance logicscut-free proofsgaggle theorytopological duality theory

Mathematics Subject Classification ID

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

Related Items (7)

Current trends in substructural logics ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ Symmetric generalized Galois logics ⋮ Topological duality for orthomodular lattices ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ Interpretations of Weak Positive Modal Logics ⋮ R-Mingle is Nice, and so is Arnon Avron

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