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