Sierra Aristizábal, M. Sistema de lógica paraconsistente C1. Rev. DyC. EAFIT 2012, 36 (118), 23-34.