Theorems of Alternatives for Substructural Logics

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

George Metcalfe, Almudena Colacito, Nikolaos Galatos

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

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

Cites Work

• Densification of FL chains via residuated frames
• Residuated lattices. An algebraic glimpse at substructural logics
• Density elimination
• On an implication connective of RM
• The semantics and proof theory of linear logic
• A proof of standard completeness for Esteva and Godo's logic MTL
• Proof theory and ordered groups
• Density revisited
• Uniform interpolation and coherence
• Densification via polynomials, languages, and frames
• Amalgamation and interpolation in ordered algebras.
• Uniform interpolation and compact congruences
• THE STRUCTURE OF RESIDUATED LATTICES
• Craig interpolation for semilinear substructural logics
• A constructive analysis of RM
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Substructural fuzzy logics
• Algebraic completeness results for R-mingle and its extensions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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