Interpolation in many valued predicate logics using algebraic logic

2013/04/02 by Ahmed, Tarek Sayed
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1304.0760

Abstract

Using polyadic MV algebras, we show that many predicate many valued logics have the interpolation property.

Related

• Semantic interpolation
• Interpolation and Amalgamation
• On Weak and Strong Interpolation in Algebraic Logics
• Uniform Interpolation
• Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case