M. Sierra Aristizábal, “Basic Para-consistent and Para-complete Logic and some of its derivatives”, Rev. U. EAFIT, vol. 40, no. 133, pp. 60–105, Jun. 2012.