Conservative expansions of substructural logics

DOI10.1007/978-3-030-76920-8_10MaRDI QIDQ6201549zbMATH OpenOpenAlexFDO

Authors Jacopo Amidei, Rodolfo C. Ertola-Biraben, Franco Montagna

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

zbMATH Keywords

interpolationmany-valued logicpropositional quantifiers

Mathematics Subject Classification ID

Algebraic structures (08A99) Lattices of varieties (08B15)

Recommendations

• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• Fuzzy logics from substructural perspective
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Craig interpolation for semilinear substructural logics
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS

Cites work

• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• A survey of abstract algebraic logic
• Adding structure to MV-algebras
• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• An algebraic approach to intuitionistic connectives
• An algebraic approach to non-classical logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Handbook of mathematical fuzzy logic. Volume 1
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 42574 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Interpolation in fuzzy logic
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• MacNeille completions of FL-algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On some extensions of intuitionistic logic
• On theories and models in fuzzy predicate logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Scattered toposes
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Super-Łukasiewicz propositional logics
• The L and L 12 logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• Weakening-free fuzzy logics with the connective \(\Delta\)
• Weakly implicative (fuzzy) logics. I: Basic properties

This page was built for publication: Conservative expansions of substructural logics

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