SIERRA ARISTIZÁBAL, M. Basic Para-consistent and Para-complete Logic and some of its derivatives. Revista Universidad EAFIT, v. 40, n. 133, p. 60–105, 12 June2012.