On deductive interpolation for the weak nilpotent minimum logic

DOI10.1016/J.FSS.2015.12.016MaRDI QIDQ1697356zbMATH OpenOpenAlexFDO

Authors 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

varietyquantifier eliminationdeductive interpolationamalgaamtionweak nilpotent minimum

Mathematics Subject Classification ID

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

Recommendations

• Weak interpolation in extensions of minimal logic
• Decidability of the weak interpolation property over the minimal logic
• scientific article; zbMATH DE number 5295430
• Interpolation and Definability in Extensions of the Minimal Logic
• Extensions of the minimal logic and the interpolation problem
• On interpolation problem in paraconsistent extensions of the minimal logic
• On weak and strong interpolation in algebraic logics
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• scientific article; zbMATH DE number 6302918
• scientific article; zbMATH DE number 2068681

Cites work

• scientific article; zbMATH DE number 3700829 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• Amalgamation and interpolation in ordered algebras.
• Amalgamation through quantifier elimination for varieties of commutative residuated lattices
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Geometry of Robinson consistency in Łukasiewicz logic
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Logical matrices and the amalgamation property
• Model Theory
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Quantifier elimination and other model-theoretic properties of BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics

Cited in

(4)

• scientific article; zbMATH DE number 5295430 (Why is no real title available?)
• Editorial
• WIP-minimal logics and interpolation
• Weak interpolation in extensions of the logics S4 and K4

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

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