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