Theorems of Alternatives for Substructural Logics
From MaRDI portal
Publication:5020165
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
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
- 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)
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)
