An algebraic approach to the disjunction property of substructural logics
From MaRDI portal
Publication:2425350
DOI10.1305/ndjfl/1193667706zbMath1137.03012OpenAlexW2076906261MaRDI QIDQ2425350
Publication date: 29 April 2008
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1193667706
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (6)
Variable Sharing in Substructural Logics: an Algebraic Characterization ⋮ Metacompleteness of substructural logics ⋮ Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts ⋮ Disjunction property and complexity of substructural logics ⋮ Fuzzy logics from substructural perspective ⋮ Conuclear images of substructural logics
This page was built for publication: An algebraic approach to the disjunction property of substructural logics