Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω

&
Journal of Applied Non-Classical Logics 15 (1):69-103 (2005)
  Copy   BIBTEX

Abstract

In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n

Categories

Keywords

Reprint years

DOI

10.3166/jancl.15.69-103

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Natural Deduction for Paraconsistent Logic.Milton De Castro & Itala Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
Três Vezes Não: Um Estudo Sobre as Negações Clássica, Paraconsistente e Paracompleta.Kherian Gracher - 2020 - Dissertation, Federal University of Santa Catarina
Two Decision Procedures for da Costa’s $$C_n$$ C n Logics Based on Restricted Nmatrix Semantics.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Studia Logica 110 (3):601-642.
Restricted swap structures for da Costa's Cn and their category.Marcelo E. Coniglio & Guilherme V. Toledo - manuscript
Paraconsistent Logics and Translations.Itala M. Loffredo D’Ottaviano & Hércules de Araújo Feitosa - 2000 - Synthese 125 (1-2):77-95.
Many-valued points and equality.Costas Drossos & Daniele Mundici - 2000 - Synthese 125 (1-2):77-95.
Paraconsistent Logics and Translations.Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa - 2000 - Synthese 125 (1/2):77 - 95.
Remarks on variable binding term operators.Celina Abar & Mineko Yamashita - 1986 - Bulletin of the Section of Logic 15 (4):145-149.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.

Analytics

Added to PP
2013-10-30

Downloads
73 (#288,155)

6 months
14 (#232,731)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
First-order logic.Raymond Merrill 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.
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..

View all 15 references / Add more references