In this paper we present a new hierarchy of analytical tableaux systems TNDCn, 1≤n<ω, for da Costás hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costá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 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 Costás hierarchy C n, 1≤n<ω.15169103Alves, E.H., (1976) LóGica E InconsistêNcia: Um Estudo Dos CáLculos Cn, 1≤N≤ω" ("Logic And Inconsistency: A Study Of The Calculi Cn, 1≤N≤ω", In Portuguese), , [Alv 76] Master Thesis, Fflch-Usp, SãO Paulo, BrazilArruda, A.I., A survey of paraconsistent logic (1980) Mathematical Logic In Latin America, pp. 1-41. , [Arr 80] Arruda A. I., Costa N. C. A. Da, Chuaqui R., Eds. North Holland, AmsterdanArruda, A.I., Aspects of the historical development of paraconsistent logic (1989) Paraconsistent Logic: Essays On The Inconsistent, pp. 99-130. , [Arr 89] Priest G., Routley R., Norman J., Eds. Philosophia Verlag, MüNchenBeth, H.W., (1959) The Foundations Of Mathematics, , [Bet 90] North Holland, AmsterdanBéZiau, J.-Y., (1990) La Logique Propositionnelle Paraconsistante C1, , [BéZ 90] De N. C. A. Da Costa", Université Denis Diderot (Paris 7)BéZiau, J.-Y., Nouveaux resultats et nouveau regard sur la logique paraconsistante c1 (1993) Logique Et Analyse, 141-142, pp. 45-58. , [BéZ 93]Buchsbaum, A., Pequeno, T., A reasoning method for a paraconsistent logic (1993) Studia Logica, 52, pp. 281-289. , [Buc 93]Carnielli, W.A., Lima-Marques, M., Reasoning under inconsistent knowledge (1992) Journal Of Applied Non-Classical Logics, 2 (1), pp. 49-79. , [Car 92]De Castro, M.A., (1998) O MéTodo De DeduçÃO Natural Aplicado ÀS LóGicas Proposicionais Paraconsistentes Cn" ("The Method Of Natural Deduction Applied To The Propositional Paraconsistent Logics Cn, , [Cas 98] In Portuguese), Master Thesis, Ifch-Unicamp, Campinas, BrazilDe Castro, M.A., D'ottaviano, I.M.L., Natural deduction for paraconsistent logic (2000) Logica Trianguli, 4, pp. 3-24. , [Cas 00]De Castro, M.A., (2004) Hierarquias De Sistemas De DeduçÃO Natural E De Sistemas De Tableaux AnalíTicos Para Os Sistemas Cn De Da Costa" ("Hierarchies Of Natural Deduction Systems And Of Analitycal Tableaux Systems For Da Costa's Systems Cn, , [Cas 04] In Portuguese), Doctoral Thesis, Ifch-Unicamp, Campinas, BrazilDa Costa, N.C.A., (1963) Sistemas Formais Inconsistentes, , [Cos 63A] ("Inconsistent Formal Systems", In Portuguese), Thesis, Universidade Federal Do Paraná, Curitiba, BrazilDa Costa, N.C.A., Calculs propositionnels pour les systèmes formels inconsistants (1963) Comptes Rendus De L'acadéMie De Sciences De Paris, T., 257, pp. 3790-3793. , [Cos 63B]Da Costa, N.C.A., Calculs des prédicats pour les systèmes formels inconsistants (1964) Comptes Rendus De L'acadéMie De Sciences De Paris, T., 258, pp. 27-29. , [Cos 64A]Da Costa, N.C.A., Calculs des prédicats avec égalité pour les systèmes formels inconsistants (1964) Comptes Rendus De L'acadéMie De Sciences De Paris, T., 258, pp. 1111-1113. , [Cos 64B]Da Costa, N.C.A., Calculs de descriptions pour les systèmes formels inconsistants (1964) Comptes Rendus De L'acadéMie De Sciences De Paris, T., 258, pp. 1366-1368. , [Cos 64C]Da Costa, N.C.A., Guillaume, M., Négations composées et loi de peirce dans les systèmes cn (1965) Portugaliae Mathematica, 24, pp. 201-210. , [Cos 65]Da Costa, N.C.A., On the theory of inconsistent formal systems (1974) Notre Dame Journal Of Formal Logic, 15, pp. 497-510. , [Cos 74]Da Costa, N.C.A., Alves, E.H., A semantical analysis of the calculi cn (1977) Notre Dame Journal Of Formal Logic, 18, pp. 621-630. , [Coa 77]Da Costa, N.C.A., Marconi, D., An overview of paraconsistent logics in the 80's (1989) The Journal Of Non-Classical Logic, 6 (1), pp. 5-31. , [Cos 89]Da Costa, N.C.A., BéZiau, J.Y., Bueno, O., (1998) Elementos De Teoria Paraconsistente De Conjuntos (Elements Of Paraconsistent Set Theory, In Portuguese), 23. , [Cos 98] Unicamp/Cle, CampinasD'ottaviano, I.M.L., On the development of paraconsistent logic and da costa's work (1990) The Journal Of Non-Classical Logic, 7 (1-2), pp. 89-152. , [Dot 90]D'ottaviano, I.M.L., Feitosa, H.A., Paraconsistent logics and translations (2000) Synthese, 125 (1-2), pp. 77-95. , [Dot 00]Feitosa, H.A., (1997) TraduçÕEs Conservativas" ("Conservative Translations, , [Fei 97] In Portuguese), Doctoral Thesis, Ifch-Unicamp, Campinas, BrazilFeitosa, H.A., D'Ottaviano, I.M.L., Conservative translations (2001) Annals of Pure and Applied Logic, 108 (1-3), pp. 205-227. , DOI 10.1016/S0168-0072(00)00046-4, PII S0168007200000464Fidel, M., The decidability of the calculi cn (1977) Reports On Mathematical Logic, 8, pp. 31-40. , [Fid 77]Fitch, F.B., (1952) Symbolic Logic: An Introduction, , [Fit 52] Ronald Press, New YorkVan Fraassen, B.C., (1971) Formal Semantics And Logic, The Macmillan Company, , [Fra 71] New YorkKleene, S.C., (1952) Introduction To Metamathematics, , [Kle 52] Van Nostrand, New YorkLoparić, A., Une étude sémantique de quelques calculs propositionnels (1977) Comptes Rendus De L'acadéMie De Sciences De Paris, T., 284 A, pp. 835-838. , [Lop 77]Loparić, A., Alves, E.H., The semantics of the systems cn of da costa (1980) Proceedings Of 3Rd Brazilian Conference On Mathematical Logic, pp. 161-172. , [Lop 80] Arruda A. I., Costa N. C. A. Da, Sette A. M., Eds. SãO PauloMarconi, D., A decision method for the calculus c1 (1980) Proceedings Of 3Rd Brazilian Conference On Mathematical Logic, pp. 211-223. , [Mar 80] Arruda A.I., Costa N.C.A. Da, Sette A. M., Eds. SãO PauloMoura, J.E., De, A., (2002) Um Estudo De Cω Em CáLculo De SeqüEntes E DeduçÃO Natural" ("Cω In Sequent Calculus And Natural Deduction, , [Mou 02A] In Portuguese). Doctoral Thesis, Ifch-Unicamp, Campinas, BrazilMoura, J., De, E.A., D'ottaviano, I.M.L., On ncgω: A paraconsistent sequent calculus (2002) Paraconsistency: The Logical Way To The Inconsistent, 228 Of Lectures Notes In Pure And Applied Mathematics, pp. 227-240. , [Mou 02B] Carnielli W. A., Coniglio M. E., D'ottaviano I. M. L., Eds. Marcel Dekker, New YorkPriest, G., Routley, R., First historical introduction: A preliminary history of paraconsistent and dialethic approaches (1989) Paraconsistent Logic: Essays On The Inconsistent, pp. 3-75. , [Pri 89] Priest G., Routley R., Norman J., Eds. Philosophia Verlag, MüNchenRaggio, A.R., Propositional sequence-calculi for inconsistent systems (1968) Notre Dame Journal Of Formal Logic, 9 (4), pp. 359-366. , [Rag 68]Da Silva, J.J., D'ottaviano, I.M.L., Sette, A.M., Translations between logics (1999) Models, Algebras And Proofs, pp. 435-448. , [Sil 99] Caicedo X., Montenegro C. H., Eds. M. Dekker, New YorkSmullyan, R.M., (1968) First-Order Logic, , [Smu 68] Springer Verlag, New York