Conuclear images of substructural logics
From MaRDI portal
Publication:2813674
DOI10.1002/malq.201400074zbMath1405.03055OpenAlexW2339335198MaRDI 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
Other algebras related to logic (03G25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
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