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