-
A. Avron, I. Lev, Canonical Propositional Gentzen-Type Systems, [in:] R. Goré, A. Leitsch, T. Nipkow (eds.), Automated Reasoning, vol. 2083, Springer (2001), pp. 529–544, DOI: https://doi.org/10.1007/3-540-45744-5_45
-
S. Burris, H. P. Sankappanavar, A Course in Universal Algebra, vol. 78 of Graduate Texts in Mathematics, Springer New York (1981).
-
W. A. Carnielli, M. E. Coniglio, Paraconsistent logic: Consistency, Contradiction and Negation, vol. 40 of Logic, Epistemology, and the Unity of Science, Springer (2016), DOI: https://doi.org/10.1007/978-3-319-33205-5
-
W. A. Carnielli, J. Marcos, A taxonomy of C-systems, [in:] W. A. Carnielli, M. E. Coniglio, I. M. L. D’Ottaviano (eds.), Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the 2nd World Congress on Paraconsistency, vol. 228 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, New York (2002), pp. 1–94, DOI: https://doi.org/10.1201/9780203910139
-
M. E. Coniglio, A. Figallo-Orellano, A. C. Golzio, Non-deterministic algebraization of logics by swap structures, Logic Journal of the Interest Group in Pure and Applied Logics, vol. 28(5) (2020), pp. 1021–1059, DOI: https://doi.org/10.1093/jigpal/jzy072
-
M. E. Coniglio, A. Sernadas, C. Sernadas, J. Rasga, A graph-theoretic account of logics, Journal of Logic and Computation, vol. 19(6) (2009), pp. 1281–1320, DOI: https://doi.org/10.1093/logcom/exp023
-
M. E. Coniglio, G. V. Toledo, A simple decision procedure for da Costa’s ({C}_n) logics by Restricted Nmatrix semantics (2020), arXiv:2011.10151 [math.LO].
-
Ǵ. Čupona, R. Madarász, Free Poly-Algebras, Mathematics Series of the University of Novi Sad, vol. 23(2) (1993), pp. 245–261.
-
N. C. A. da Costa, Sistemas formais inconsistentes (Inconsistent formal systems, in Portuguese), Habilitation thesis, Universidade Federal do Paraná, Curitiba, Brazil (1963), republished by Editora da Universidade Federal do Paraná, Curitiba, Brazil, 1993.
-
F. Marty, Sur une généralisation de la notion de groupe, [in:] Comptes rendus du huitième congrès des mathématiciens scandinaves, Stockholm, Sweden (1934), pp. 45–49.