Sistema de lógica paraconsistente C1 uri icon