1. Arieli, O., Avron, A., & Zamansky, A. (2011). Ideal paraconsistent logics. Studia Logica, 99, 31–60.
2. Arruda, A. I., & da Costa, N. C. A. (1970). Sur le schéma de la séparation. Nagoya Mathematical Journal, 38, 71–84.
3. Batens, D. (1980). Paraconsistent extensional propositional logics. Logique et Analyse, 23, 195–234.
4. Béziau, J.-Y. (2000). What is paraconsistent logic? In D. Batens, C. Mortensen, G. Priest, & J.-P. van Bendegem (Eds.), Frontiers of paraconsistent logic (pp. 95–111). Baldock: Research Studies Press.
5. Béziau, J.-Y. (2002a). S5 is a paraconsistent logic and so is first-order classical logic. Logical Investigations, 9, 301–309.