Sierra Aristizábal, M. 2012. Basic Para-consistent and Para-complete Logic and some of its derivatives. Revista Universidad EAFIT. 40, 133 (Jun. 2012), 60–105.