da Costa Newton C. A.. On the theory of inconsistent formal systems. Notre Dame journal of formal logic, vol. 15 (1974), pp. 497–510.da Costa Newton C. A.. The philosophical import of paraconsistent logic. The journal of non-classical logic (Campinas), vol. 1 (1982), pp. 1–19.Costa Newton C. A. da. On paraconsistent set theory. Logique et analyse, n.s. vol. 29 (1986), pp. 361–371.da Costa Newton C. A., Béziau Jean-Yves, and Bueno Otávio. Paraconsistent logic in a historical perspective. Logique et analyse, vol. 38 (for 1995, pub. 1997), pp. 111–126.