Interpolation in 16-valued trilattice logics (Q1744000)

This paper is a sequel to a series of papers on multivalued logics that starts with [\textit{N. D. Belnap jun.}, in: Mod. Uses of multiple-valued Logic, 5th int. Symp., Bloomington 1975, 5--37 (1977; Zbl 0424.03012)] and [\textit{H. Wansing}, J. Philos. Log. 39, No. 4, 369--393 (2010; Zbl 1200.03019)] where the trilattice SIXTEEN\(_3\) is introduced. Furthermore \textit{Y. Shramko} and \textit{H. Wansing} [J. Philos. Log. 34, No. 2, 121--153 (2005; Zbl 1094.03012)] and the authors of this paper [J. Philos. Log. 44, No. 5, 473--487 (2015; Zbl 1345.03050)] where they defined an analytic tableau calculus \(\mathbf{PL16}\) for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN\(_3\). In this paper, the authors focus on the syntactic entailment relations that capture central semantic relations of the logic such as the relations \(\models_t\), \(\models_f\), and \(\models_i\) that each correspond to a lattice order in SIXTEEN\(_3\). It is shown that these entailment relations have the interpolation property. This answers a question raised in [\textit{M. Takano}, Stud. Log. 104, No. 5, 917--929 (2016; Zbl 1417.03183)].