Item

Analytic Tableaux for all of SIXTEEN_3

Muskens,R.A.
; 
Wintein,S.
Abstract
In this paper we give an analytic tableau calculus PL_16 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.
Description
Date
2014
Journal Title
Journal ISSN
Volume Title
Publisher
Collections
Tilburg University Research Output Collection
Show all metadata
Research Projects
Organizational Units
Journal Issue
Keywords
Trilattice SIXTEEN 3; Tableau calculi; Functional completeness; Truth entailment; Falsity entailment; Information entailment
Citation
Muskens, R A & Wintein, S 2014, 'Analytic Tableaux for all of SIXTEEN_3', Journal of philosophical logic, pp. 1-15. https://doi.org/10.1007/s10992-014-9337-3
URI
https://hdl.handle.net/20.500.14602/62081
Embedded videos