That SCI has the interpolation property
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.
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3715520 (Why is no real title available?)
- scientific article; zbMATH DE number 3497860 (Why is no real title available?)
- scientific article; zbMATH DE number 3547256 (Why is no real title available?)
- scientific article; zbMATH DE number 3561288 (Why is no real title available?)
- Some remarks on the consequence operation in sentential logics
This page was built for publication: That SCI has the interpolation property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800345)
