Lógica Básica Para La Verdad Aristotélica
Autor:Sierra Aristizábal, ManuelSistemas de creencias para razonadores de diferente tipo
Autor:Sierra Aristizábal, ManuelArboles de Forzamiento Semántico para la Lógica Básica con Afirmación y Negación Alternas
Autor:Sierra Aristizábal, ManuelInferencia visual para la lógica básica paraconsistente y paracompleta
Autor:Sierra Aristizábal, Manuel