Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1>n>w

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 “o”, the generalized operators “k” and “(k)”, for 1≤k, and the negations “∼k”, for k≥1, as primitive operators, differently to… CONTINUE READING