-
Sierra,M.H. Arboles de forzamiento semántico para operaciones entre conjuntos. Revista Facultad de Ciencias Básicas. 2017
Sierra,M.H.
Sistemas multi-modales de profundidad restringida. Revista Ingeniería y Ciencia. 2008
Sierra,M.H.
Sistema paraconsistente y paracompleto LBPcPo. Revista Universidad EAFIT. 2007
Sierra,M.H. Tipos de Razonadores. Revista Universidad EAFIT. 2007
- Sierra,M.H.
Caracterización semántica de la jerarquía SCR-n. Revista Boletín de Matemáticas. 2007
Sierra,M.H.
Algunas lógicas modales asociadas al razonamiento de agentes inteligentes. Revista Ingeniería y Ciencia. 2007
Sierra,M.H.
Lógica básica para la verdad y la falsedad. Revista Ingeniería y Ciencia. 2007
Sierra,M.H.
Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas. Revista Boletín de Matemáticas. 2006
Sierra,M.H.
Sistema paraconsistente LBPc¬I. Revista Ingeniería y Ciencia. 2006
Sierra,M.H.
Lógica básica con afirmación y negación alternas. Revista Universidad EAFIT. 2005
Sierra,M.H.
Lógica básica paraconsistente y paracompleta sin negación clásica y algunas de sus extensiones. Revista Boletín de Matemáticas. 2005
Sierra,M.H.
Lógica básica con afirmación alterna. Revista Ingeniería y Ciencia. 2005
Sierra,M.H. Lógica básica paraconsistente y paracompleta y algunas de sus extensiones. Revista Universidad EAFIT. 2004
Sierra,M.H.
Forzamiento semántico de marcas para la lógica básica paraconsistente. Revista Universidad EAFIT. 2003
Sierra,M.H. Lógica básica paraconsistente y paracompleta con negación clásica. Revista Universidad EAFIT. 2002
Sierra,M.H.
Lógica básica con aceptación fuerte. Revista Boletín de Matemáticas. 2002
Sierra,M.H.
Inferencia visual para las lógicas normales. Fondo Editorial Universidad EAFIT. 2001
Sierra,M.H.
Arboles de forzamiento semántico. Revista Universidad EAFIT. 2001
Sierra,M.H. Sistemas de lógica diagonal LD1, LD2, …, LD42. Revista Universidad EAFIT. 2001
Sierra,M.H.
Sistema de lógica paraconsistente C1. Revista Universidad EAFIT. 2000
Sierra,M.H.
Consistencia de los sistemas LD1, …, LD10. Revista Boletín de Matemáticas. 1998
- Sierra,M.H.
Lógica diagonal. Revista Boletín de Matemáticas. 1996
- Sierra,M.H. Restricted normal modal logics and levelled possible worlds semantics. Journal Of Logic And Computation. 2014
- Sierra,M.H. Sistema paracompleto LBPo¬C. Revista Boletín De Matemáticas. 2007
- Sierra,M.H. Lógica de las tautologías. Revista Ingeniería Y Ciencia. 2012
- Sierra,M.H. Lógicas epistémica y doxástica con restricciones. Revista Ingeniería Y Ciencia. 2010
- Sierra,M.H. Precisiones sobre la derivada y la anti-derivada de la raíz de una potencia entera. Revista De La Facultad De Ciencias Universidad Nacional Medellín. 2016
- Sierra,M.H. Argumentación deductiva con diagramas y árboles de forzamiento. Colombia. 2010
Sierra,M.H. Lógica Básica Para La Verdad Aristotélica. Colombia. 2010