| dc.creator | D'Ottaviano I.M.L. | |
| dc.creator | Castro M.A.D. | |
| dc.date | 2005 | |
| dc.date | 2015-06-26T14:08:24Z | |
| dc.date | 2015-11-26T14:07:58Z | |
| dc.date | 2015-06-26T14:08:24Z | |
| dc.date | 2015-11-26T14:07:58Z | |
| dc.date.accessioned | 2018-03-28T21:08:34Z | |
| dc.date.available | 2018-03-28T21:08:34Z | |
| dc.identifier | | |
| dc.identifier | Journal Of Applied Non-classical Logics. , v. 15, n. 1, p. 69 - 103, 2005. | |
| dc.identifier | 11663081 | |
| dc.identifier | 10.3166/jancl.15.69-103 | |
| dc.identifier | http://www.scopus.com/inward/record.url?eid=2-s2.0-33845518437&partnerID=40&md5=c7dcdaa4e19bdd18e7d769e1a1834ba4 | |
| dc.identifier | http://www.repositorio.unicamp.br/handle/REPOSIP/93570 | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/93570 | |
| dc.identifier | 2-s2.0-33845518437 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1240892 | |
| dc.description | 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<ω. | |
| dc.description | 15 | |
| dc.description | 1 | |
| dc.description | 69 | |
| dc.description | 103 | |
| dc.description | Alves, 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, Brazil | |
| dc.description | Arruda, 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, Amsterdan | |
| dc.description | Arruda, 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üNchen | |
| dc.description | Beth, H.W., (1959) The Foundations Of Mathematics, , [Bet 90] North Holland, Amsterdan | |
| dc.description | BéZiau, J.-Y., (1990) La Logique Propositionnelle Paraconsistante C1, , [BéZ 90] De N. C. A. Da Costa", Université Denis Diderot (Paris 7) | |
| dc.description | 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] | |
| dc.description | Buchsbaum, A., Pequeno, T., A reasoning method for a paraconsistent logic (1993) Studia Logica, 52, pp. 281-289. , [Buc 93] | |
| dc.description | Carnielli, W.A., Lima-Marques, M., Reasoning under inconsistent knowledge (1992) Journal Of Applied Non-Classical Logics, 2 (1), pp. 49-79. , [Car 92] | |
| dc.description | 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, Brazil | |
| dc.description | De Castro, M.A., D'ottaviano, I.M.L., Natural deduction for paraconsistent logic (2000) Logica Trianguli, 4, pp. 3-24. , [Cas 00] | |
| dc.description | 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, Brazil | |
| dc.description | Da Costa, N.C.A., (1963) Sistemas Formais Inconsistentes, , [Cos 63A] ("Inconsistent Formal Systems", In Portuguese), Thesis, Universidade Federal Do Paraná, Curitiba, Brazil | |
| dc.description | Da 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] | |
| dc.description | 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] | |
| dc.description | 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] | |
| dc.description | 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] | |
| dc.description | 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] | |
| dc.description | 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] | |
| dc.description | 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] | |
| dc.description | 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] | |
| dc.description | 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, Campinas | |
| dc.description | D'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] | |
| dc.description | D'ottaviano, I.M.L., Feitosa, H.A., Paraconsistent logics and translations (2000) Synthese, 125 (1-2), pp. 77-95. , [Dot 00] | |
| dc.description | Feitosa, H.A., (1997) TraduçÕEs Conservativas" ("Conservative Translations, , [Fei 97] In Portuguese), Doctoral Thesis, Ifch-Unicamp, Campinas, Brazil | |
| dc.description | Feitosa, 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 S0168007200000464 | |
| dc.description | Fidel, M., The decidability of the calculi cn (1977) Reports On Mathematical Logic, 8, pp. 31-40. , [Fid 77] | |
| dc.description | Fitch, F.B., (1952) Symbolic Logic: An Introduction, , [Fit 52] Ronald Press, New York | |
| dc.description | Van Fraassen, B.C., (1971) Formal Semantics And Logic, The Macmillan Company, , [Fra 71] New York | |
| dc.description | Kleene, S.C., (1952) Introduction To Metamathematics, , [Kle 52] Van Nostrand, New York | |
| dc.description | Loparić, 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] | |
| dc.description | 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 Paulo | |
| dc.description | Marconi, 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 Paulo | |
| dc.description | Moura, 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, Brazil | |
| dc.description | Moura, 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 York | |
| dc.description | Priest, 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üNchen | |
| dc.description | Raggio, A.R., Propositional sequence-calculi for inconsistent systems (1968) Notre Dame Journal Of Formal Logic, 9 (4), pp. 359-366. , [Rag 68] | |
| dc.description | 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 York | |
| dc.description | Smullyan, R.M., (1968) First-Order Logic, , [Smu 68] Springer Verlag, New York | |
| dc.language | en | |
| dc.publisher | | |
| dc.relation | Journal of Applied Non-Classical Logics | |
| dc.rights | fechado | |
| dc.source | Scopus | |
| dc.title | Analytical Tableaux For Da Costás Hierarchy Of Paraconsistent Logics Cn, 1≤n<ω1 | |
| dc.type | Actas de congresos | |
