[1] Newton C.A. da Costa, On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 1974 ; 15: 497–510.

[2] Newton C.A. da Costa, e E.H. Alves, 1977. Semantical Analysis of the Calculi Cn. Notre Dame Journal of Formal Logic, 18(4): 621–630. doi:10.1305/ndjfl/1093888132

[3] Newton C.A. da Costa e L. Dubikajtis, 1977. On Jaśkowski’s Discussive Logic, in Arruda et al. 1977: 37–56. doi:10.1016/S0049-237X(08)70644-X

[4] Newton C.A. da Costa, V.S. Subrahmanian e Carlo Vago, 1991, The Paraconsistent Logics PT, Zeitschrift für Mathematische Logic und Grundlangen der Mathematik, 37(9–12): 139–148. doi:10.1002/malq.19910370903

[5] Newton C.A. da Costa,. Logique Classique et Non-Classique. Paris, Masson, 1997.

[6] Newton C.A. da Costa. Sistemas Formais Inconsistentes. Curitiba, Brazil: Universidade Federal do Paraná, 1963.

[7] Itala M. L. D’Ottaviano. Definability and quantifier elimination for J3-theories. Studia Logica, Kluwer Acad. Publ., Dordrecht, v. 46, n.1, p. 37-54, 1987.

[8] Walter Carnielli, Marcelo E. Coniglio e João Marcos, 2007, Logics of Formal Inconsistency, in Handbook of Philosophical Logic, Volume 14 (Second Edition), Dov M. Gabbay and Franz Guenthner (eds.), Berlin: Springer, pp. 15–107. doi:10.1007/978-1-4020-6324-4_1

[9] Walter Carnielli, M. Coniglio, and Itala Maria Lof D’ottaviano (eds.), 2002, Paraconsistency: the Logical Way to the Inconsistent (Lecture Notes in Pure and Applied Mathematics: Volume 228), Boca Raton: CRC Press. [Second World Congress proceedings]