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

Authors
Stefan Wintein
Erasmus University Rotterdam
Reinhard Muskens
University of Amsterdam
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.
Keywords Tableau calculi  Functional completeness  Truth entailment  Falsity entailment  Information entailment
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-014-9337-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.

View all 18 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Are Tableaux an Improvement on Truth-Tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Analytic Cut Trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Tableaux Variants of Some Modal and Relevant Systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Combinatorial Analytic Tableaux.Robert Cowen - 1993 - Reports on Mathematical Logic:29-39.

Analytics

Added to PP index
2014-12-03

Total views
112 ( #90,736 of 2,427,269 )

Recent downloads (6 months)
27 ( #30,114 of 2,427,269 )

How can I increase my downloads?

Downloads

My notes