Analytic Tableaux for all of SIXTEEN 3

Journal of Philosophical Logic 44 (5):473-487 (2015)
  Copy   BIBTEX


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.

Author Profiles

Stefan Wintein
Erasmus University Rotterdam
Reinhard Muskens
University of Amsterdam


Added to PP

299 (#38,358)

6 months
57 (#34,181)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?