1. Alves, E. H., Logic and Inconsistency: A Study of the Calculi $\mathcal{C}_{n}, 1\leq n\leq \omega$ (in Portuguese), thesis, State University of São Paulo, FFLCH, 1976.
2. Alves, E. H., “Paraconsistent logic and model theory,” Studia Logica, vol. 43 (1984), pp. 17–32. Zbl 0582.03014 MR 86i:03049
3. Arruda, A. I., “Remarques sur les systèmes $\mathcal{C}_{n}$,” Comptes Rendus de l'Academie de Sciences de Paris, Séries A-B (1975) t. 280, pp. 1253–6. Zbl 0304.02011 MR 57:12169
4. Baaz, M., “Kripke-type semantics for da Costa's paraconsistent logic $\mathcal{C}_\omega$,” The Notre Dame Journal of Formal Logic, vol. 27 (1986), pp. 523–27. Zbl 0622.03013 MR 88a:03064
5. Blackburn, P., and M. de Rijke, “Zooming in, zooming out,” The Journal of Logic, Language, and Information, vol. 6 (1997), pp. 5–31. Zbl 0872.03008 MR 97k:03041