Sierra Aristizábal, M. 2012. Sistema de lógica paraconsistente C1. Revista Universidad EAFIT. 36, 118 (jun. 2012), 23–34.