Conuclear images of substructural logics

DOI10.1002/MALQ.201400074zbMath1405.03055OpenAlexW2339335198MaRDI QIDQ2813674

Giulia Frosoni

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

zbMATH Keywords

substructural logicdisjunction propertydouble negation principle

Mathematics Subject Classification ID

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 (1)

Poset products as relational models

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

This page was built for publication: Conuclear images of substructural logics