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
Revision history
Archival date: 2018-08-26
View upload history
References found in this work BETA

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2017-08-23

Total views
61 ( #39,772 of 50,121 )

Recent downloads (6 months)
11 ( #39,442 of 50,121 )

How can I increase my downloads?

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