Theorems of Alternatives for Substructural Logics

DOI10.1007/978-3-030-71258-7_5OpenAlexW3009027761MaRDI QIDQ5020165FDOQ5020165

Authors Almudena Colacito, Nikolaos Galatos, George Metcalfe

Publication date 4 January 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.11419

Mathematics Subject Classification ID

Difference and functional equations (39-XX) Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 1369670
• Theorem provers for substructural logics
• Canonical extensions and relational completeness of some substructural logics
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• An algebraic approach to the disjunction property of substructural logics

Cites work

• scientific article; zbMATH DE number 4135919 (Why is no real title available?)
• scientific article; zbMATH DE number 4143975 (Why is no real title available?)
• scientific article; zbMATH DE number 3177183 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• A constructive analysis of RM
• A proof of standard completeness for Esteva and Godo's logic MTL
• Algebraic completeness results for R-mingle and its extensions
• Amalgamation and interpolation in ordered algebras.
• Craig interpolation for semilinear substructural logics
• Densification of FL chains via residuated frames
• Densification via polynomials, languages, and frames
• Density elimination
• Density revisited
• On an implication connective of RM
• Proof theory and ordered groups
• Residuated lattices. An algebraic glimpse at substructural logics
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Substructural fuzzy logics
• THE STRUCTURE OF RESIDUATED LATTICES
• The semantics and proof theory of linear logic
• Uniform interpolation and coherence
• Uniform interpolation and compact congruences

Cited in

(1)

• An algebraic approach to the disjunction property of substructural logics

This page was built for publication: Theorems of Alternatives for Substructural Logics

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