Interpolation in many valued predicate logics using algebraic logic

TL;DR

This paper demonstrates that many predicate many-valued logics possess the interpolation property by employing polyadic MV algebras, linking algebraic structures with logical properties.

Contribution

It introduces an algebraic approach using polyadic MV algebras to establish the interpolation property in many-valued predicate logics.

Findings

Predicate many-valued logics have the interpolation property.

Polyadic MV algebras effectively characterize logical interpolation.

Algebraic methods can be applied to analyze logical properties.

Abstract

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