Interpolation in 16-Valued Trilattice Logics

Studia Logica 106 (2):345-370 (2018)
Download Edit this record How to cite View on PhilPapers
Abstract
In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. It turns out that our method of characterising these semantic relations---as intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano.
ISBN(s)
PhilPapers/Archive ID
MUSIIV
Upload history
Archival date: 2018-08-26
View other versions
Added to PP index
2017-08-23

Total views
77 ( #46,978 of 2,439,611 )

Recent downloads (6 months)
5 ( #56,511 of 2,439,611 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.