Sierra Aristizábal, M. Basic Para-Consistent and Para-Complete Logic and Some of Its Derivatives. Rev. DyC. EAFIT 2012, 40 (133), 60-105.