Interpolation theorem in many-valued logics with designated values (Q911578)

Let L be a functionally complete many-valued logic, with a set T of truth-values and a set D of designated values. Let \(R_ f\) be a binary relation on T induced by the function \(f: T^ 2\to T\) such that \(\mu R_ f\nu\) iff \(f(\mu,\nu)\in D\). Then it is shown that if \(R_ f\) is transitive and connected, then the interpolation property with respect to f holds, i.e. if \(f^*\) is the formula of L representing f, and \(f^*(A,B)\) is designated for any valuation, then there is a formula C such that (i) \(f^*(A,C)\) and \(f^*(C,B)\) are always designated. (ii) Every propositional letter, predicate letter and free individual variable occurring in C, occurs both in A and B.