Analytic Tableaux for all of SIXTEEN 3

Journal of Philosophical Logic 44 (5):473-487 (2015)
Download Edit this record How to cite View on PhilPapers
Abstract
In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six.
ISBN(s)
PhilPapers/Archive ID
WINATF-2
Revision history
Archival date: 2018-08-27
View upload history
References found in this work BETA

View all 17 references / Add more references

Citations of this work BETA
Interpolation in 16-Valued Trilattice Logics.Muskens, Reinhard & Wintein, Stefan

Add more citations

Added to PP index
2014-12-03

Total views
61 ( #32,783 of 43,016 )

Recent downloads (6 months)
14 ( #33,868 of 43,016 )

How can I increase my downloads?

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