Please use this identifier to cite or link to this item:
Type: Artigo de evento
Title: Analytical Tableaux For Da Costa's Hierarchy Of Paraconsistent Logics
Author: D'Ottaviano I.M.L.
De Castro M.A.
Abstract: In this paper we present a new hierarchy of analytical tableaux systems TNDCn,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 "°", the generalized operators "k" and "(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 TNDCn,1≤n<ω, and also prove that these systems are logically equivalent to the corresponding systems Cn,1≤n<ω. The systems TNDCn constitute completely automated theorem proving systems for the systems of da Costa's hierarchy Cn,1≤n<ω.3.
Rights: fechado
Identifier DOI: 10.1016/j.entcs.2005.06.033
Date Issue: 2006
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
2-s2.0-29344433031.pdf249.23 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.