Theorems of Alternatives for Substructural Logics

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

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

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

Cites Work

• Title not available (Why is that?)
• The semantics and proof theory of linear logic
• Title not available (Why is that?)
• A proof of standard completeness for Esteva and Godo's logic MTL
• Densification via polynomials, languages, and frames
• Densification of FL chains via residuated frames
• Substructural fuzzy logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Density elimination
• THE STRUCTURE OF RESIDUATED LATTICES
• Title not available (Why is that?)
• Proof theory and ordered groups
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Amalgamation and interpolation in ordered algebras.
• Craig interpolation for semilinear substructural logics
• Density revisited
• Algebraic completeness results for R-mingle and its extensions
• A constructive analysis of RM
• On an implication connective of RM
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)