Conuclear images of substructural logics

DOI10.1002/MALQ.201400074MaRDI QIDQ2813674zbMATH OpenOpenAlexFDO

Authors Giulia Frosoni

Publication date 24 June 2016

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201400074

zbMATH Keywords

disjunction propertydouble negation principlesubstructural logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• Disjunction property and complexity of substructural logics
• scientific article; zbMATH DE number 823607
• Substructural Logics in Natural Deduction
• scientific article; zbMATH DE number 1543335
• Normal modal substructural logics with strong negation

Cites work

• Algebraic proof theory for substructural logics: cut-elimination and completions
• An algebraic approach to the disjunction property of substructural logics
• Cancellative residuated lattices
• Disjunction property and complexity of substructural logics
• Embedding theorems for classes of GBL-algebras
• Linear logic
• Ordered groups with a conucleus
• Residuated lattices. An algebraic glimpse at substructural logics
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology
• The Blok-Ferreirim theorem for normal GBL-algebras and its application

Cited in

(1)

• Poset products as relational models

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2813674)