Conservative expansions of substructural logics
From MaRDI portal
Publication:6201549
DOI10.1007/978-3-030-76920-8_10OpenAlexW4200260993MaRDI QIDQ6201549
Franco Montagna, Jacopo Amidei, Rodolfo C. Ertola-Biraben
Publication date: 25 March 2024
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-76920-8_10
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
- MacNeille completions of FL-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- An algebraic approach to non-classical logics
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A survey of abstract algebraic logic
- Algebraic foundations of many-valued reasoning
- Interpolation in fuzzy logic
- Scattered toposes
- Weakening-free fuzzy logics with the connective \(\Delta\)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Weakly implicative (fuzzy) logics. I: Basic properties
- On theories and models in fuzzy predicate logics
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
- Algebraizable logics
- Super-Łukasiewicz propositional logics
- An algebraic approach to intuitionistic connectives
- Storage Operators and Multiplicative Quantifiers in Many-valued Logics
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- Adding structure to MV-algebras
