On deductive interpolation for the weak nilpotent minimum logic

DOI10.1016/J.FSS.2015.12.016zbMATH Open1388.03031OpenAlexW2221366686MaRDI QIDQ1697356FDOQ1697356

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

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

zbMATH Keywords

varietyquantifier eliminationdeductive interpolationamalgaamtionweak nilpotent minimum

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Model Theory
• Residuated lattices. An algebraic glimpse at substructural logics
• Amalgamation and interpolation in ordered algebras.
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Title not available (Why is that?)
• 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
• Geometry of Robinson consistency in Łukasiewicz logic
• Amalgamation, congruence-extension, and interpolation properties in algebras
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• 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)