Itala Maria Loffredo D'Ottaviano
Universidade Estadual de Campinas
In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n<ω, for da Costa's hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costa's “ball” operator “o”, the generalized operators “k” and “”, for 1≤k, and the negations “~k”, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC n, 1≤n<ω, and also prove that these systems are logically equivalent to the corresponding systems Cn, 1≤n<ω. The systems TNDC n constitute completely automated theorem proving systems for the systems of da Costa's hierarchy Cn, 1≤n<ω.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.3166/jancl.15.69-103
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,715
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

First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.

View all 21 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
Yes, Virginia, There Really Are Paraconsistent Logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
Paraconsistent Logics Included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.


Added to PP index

Total views
16 ( #606,326 of 2,386,655 )

Recent downloads (6 months)
5 ( #159,694 of 2,386,655 )

How can I increase my downloads?


My notes