On deductive interpolation for the weak nilpotent minimum logic

DOI10.1016/j.fss.2015.12.016zbMath1388.03031OpenAlexW2221366686MaRDI QIDQ1697356

Enrico Marchioni

Publication date: 19 February 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2015.12.016

zbMATH Keywords

quantifier eliminationvarietydeductive interpolationweak nilpotent minimumamalgaamtion

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Related Items (1)

Editorial

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantifier elimination and other model-theoretic properties of BL-algebras
• Amalgamation through quantifier elimination for varieties of commutative residuated lattices
• Logical matrices and the amalgamation property
• Residuated lattices. An algebraic glimpse at substructural logics
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Amalgamation and interpolation in ordered algebras.
• Geometry of Robinson consistency in Łukasiewicz logic
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Amalgamation, congruence-extension, and interpolation properties in algebras
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• Model Theory

This page was built for publication: On deductive interpolation for the weak nilpotent minimum logic