Conuclear images of substructural logics
From MaRDI portal
Publication:2813674
DOI10.1002/malq.201400074zbMath1405.03055MaRDI QIDQ2813674
Publication date: 24 June 2016
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201400074
03G25: Other algebras related to logic
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Cites Work
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Disjunction property and complexity of substructural logics
- Linear logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Embedding theorems for classes of GBL-algebras
- Ordered groups with a conucleus
- An algebraic approach to the disjunction property of substructural logics
- Cancellative residuated lattices
- The algebra of topology
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- Some theorems about the sentential calculi of Lewis and Heyting