Sierra Aristizábal, M. Sistema De lógica Paraconsistente C1. Rev. U. EAFIT 2012, 36, 23-34.