1. The paraconsistent logic Z;Béziau;Journal of Logical Philosophy,2006
2. Carnielli W. A. and Marcos J. A taxonomy of C-Systems. In Paraconsistency: The Logical Way to the Inconsistent, Proceedings of the Second World Congress on Paraconsistency (WCP 2000), number 228 in Lecture Notes in Pure and Applied Mathematics, pp. 1–94. Marcel Dekker, Inc., 2002.
3. da Costa N. On the theory of inconsistent formal systems (in Portuguese). PhD Thesis, Curitiva:Editora UFPR, Brazil, 1963.
4. M. De and Omori H. More on empirical negation. In Advances in Modal Logic 10, invited and contributed papers from the tenth conference on ‘Advances in Modal Logic,’ held in Groningen, The Netherlands, August 5-8, 2014, pp. 114–133, 2014.
5. Extensions of priest-da costa logic;Ferguson;Studia Logica,2014