That SCI has the interpolation property (Q800345)

R. Suszko's sentential calculus with identity is obtained from the classical sentential calculus by adding a binary connective \(\equiv\) for identity. The usual definition of truth valuation t: set of formulas \(\to \{0,1\}\) is extended as follows: \(t(a\equiv a)=1, t(\neg a\equiv\neg b)=1\) if \(t(a\equiv b)=1, t(a*c\equiv b*d)=1\) if \(t(a\equiv b)=t(c\equiv d)=1,\) where * stands for an arbitrary classical binary connective; finally it is required that \(t(a\equiv b)=0\) if t(a)\(\neq t(b)\). The authors prove two interpolation theorems for this sentential calculus, and give some general comments on sentential interpolation.