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