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