miembro de
- Universidad Eafit Investigador independiente (Lógicas no clásicas) 2020 -
Manuel Sierra-Aristizabal
|
Investigador
Posiciones
- Investigador independiente (Lógicas no clásicas), Universidad Eafit 2020 -
Áreas De Investigación
- Afiliación
- Publicaciones
- Identidad
- Ver todos
Afiliación
Publicaciones
publicaciones seleccionadas
-
documento
- Semantic-Deductive Characterization Of The Original Gamma Existential Graphs 2023-12-10
- Semantic-Deductive Characterization Of The Original Gamma Existential Graphs 2023-12-10
- Paraconsistent Existential Graphs Gamma Peirce System 2023-12-05
- Paraconsistent Existential Graphs Gamma Peirce System 2023-12-05
- Gráficos existenciales paraconsistentes AlfaK 2022-08-04
- Gráficos existenciales paraconsistentes AlfaK 2022-08-04
- Lógica Doble LD y Gráficos Existenciales Gamma-LD 2021-12
- Lógica Doble LD y Gráficos Existenciales Gamma-LD 2021-12
- ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LA SEMÁNTICA DE SOCIEDADES ABIERTAS 2018
- ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LA SEMÁNTICA DE SOCIEDADES ABIERTAS 2018
- ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA OPERACIONES ENTRE CONJUNTOS 2017
- ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA OPERACIONES ENTRE CONJUNTOS 2017
- PRECISIONES SOBRE LA DERIVADA Y LA ANTI-DERIVADA DE LA RAIZ DE UNA POTENCIA ENTERA 2016
- PRECISIONES SOBRE LA DERIVADA Y LA ANTI-DERIVADA DE LA RAIZ DE UNA POTENCIA ENTERA 2016
- Restricted normal modal logics and levelled possible worlds semantics 2014
- Restricted normal modal logics and levelled possible worlds semantics 2014
- Lógica de las tautologías 2012
- Lógica de las tautologías 2012
- Argumentación deductiva con diagramas y árboles de forzamiento 2010
- Argumentación deductiva con diagramas y árboles de forzamiento 2010
- Conjuntos y relaciones 2010
- Conjuntos y relaciones 2010
- Lógica básica para la verdad aristotélica 2010
- Lógica básica para la verdad aristotélica 2010
- Lógicas epistémica y doxástica con restricciones 2010
- Lógicas epistémica y doxástica con restricciones 2010
- Sistemas multi–modales de profundidad restringida 2008-12-31
- Sistemas multi–modales de profundidad restringida 2008-12-31
- Algunas lógicas modales asociadas al razonamiento de los agentes inteligentes 2008
- Algunas lógicas modales asociadas al razonamiento de los agentes inteligentes 2008
- Sistemas de creencias para razonadores de diferente tipo. 2008
- Sistemas de creencias para razonadores de diferente tipo. 2008
- Sistema paraconsistente y paracompleto LBPcPo 2007-12-31
- Sistema paraconsistente y paracompleto LBPcPo 2007-12-31
- Tipos de razonadores 2007-06-30
- Tipos de razonadores 2007-06-30
- ALGUNAS LOGICAS MODALES ASOCIADAS AL RAZONAMIENTO DE AGENTES INTELIGENTES 2007
- ALGUNAS LOGICAS MODALES ASOCIADAS AL RAZONAMIENTO DE AGENTES INTELIGENTES 2007
- CARACTERIZACION SEMANTICA DE LA JERARQUIA SCR-N (1≤N≤ ω) 2007
- CARACTERIZACION SEMANTICA DE LA JERARQUIA SCR-N (1≤N≤ ω) 2007
- Lógica básica para la verdad y la falsedad LBVF 2007
- Lógica básica para la verdad y la falsedad LBVF 2007
- Caracterización deductiva de los árboles de forzamiento semántico 2006
- Caracterización deductiva de los árboles de forzamiento semántico 2006
- SISTEMA PARACOMPLETO LBP◦¬C 2006
- SISTEMA PARACOMPLETO LBP◦¬C 2006
- Sistema paraconsistente LBPc¬I 2006
- Sistema paraconsistente LBPc¬I 2006
- Lógica básica con afirmación alterna 2005-06-30
- Lógica básica con afirmación alterna 2005-06-30
- Lógica básica con afirmación y negación alternas 2005-06-30
- Lógica básica con afirmación y negación alternas 2005-06-30
- ARBOLES DE FORZAMIENTO SEMANTICO PARA EL ´ SISTEMA BASICO CON AFIRMACION Y NEGACION ALTERNAS 2005
- ARBOLES DE FORZAMIENTO SEMANTICO PARA EL ´ SISTEMA BASICO CON AFIRMACION Y NEGACION ALTERNAS 2005
- LOGICA BASICA PARACONSISTENTE Y PARACOMPLETA ´ SIN NEGACION CLASICA Y ALGUNAS DE SUS ´ EXTENSIONES 2005
- LOGICA BASICA PARACONSISTENTE Y PARACOMPLETA ´ SIN NEGACION CLASICA Y ALGUNAS DE SUS ´ EXTENSIONES 2005
- Árboles de Forzamiento Semántico para la Lógica Básica con Afirmación y Negación Alternas 2004-12-01
- Árboles de Forzamiento Semántico para la Lógica Básica con Afirmación y Negación Alternas 2004-12-01
- Lógica básica paraconsistente y paracompleta y algunas de sus extensiones 2004-03-31
- Lógica básica paraconsistente y paracompleta y algunas de sus extensiones 2004-03-31
- Gráficos existenciales para lógicas clásica, paraconsistentes y paracompletas 2004
- Gráficos existenciales para lógicas clásica, paraconsistentes y paracompletas 2004
- Forzamiento semántico de marcas para la lógica básica paraconsistente LBPc 2003-06-30
- Forzamiento semántico de marcas para la lógica básica paraconsistente LBPc 2003-06-30
- Inferencia Visual para la Lógica Básica Paraconsistente y Paracompleta 2003-04-01
- Inferencia Visual para la Lógica Básica Paraconsistente y Paracompleta 2003-04-01
- SEMÁNTICA DE SOCIEDADES COMO UN MODELO O INTERPRETACIÓN (ÁRBOLES DE FORZAMIENTO), DE LAS LÓGICAS BÁSICAS PARACONSISTENTE Y PARACOMPLETA A NIVEL ATÓMICO 2003
- SEMÁNTICA DE SOCIEDADES COMO UN MODELO O INTERPRETACIÓN (ÁRBOLES DE FORZAMIENTO), DE LAS LÓGICAS BÁSICAS PARACONSISTENTE Y PARACOMPLETA A NIVEL ATÓMICO 2003
- Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo 2002-09-30
- Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo 2002-09-30
- INFERENCIA VISUAL PARA LOS SISTEMAS DEDUCTIVOS LBPco, LBPc y LBPo 2002-08-02
- INFERENCIA VISUAL PARA LOS SISTEMAS DEDUCTIVOS LBPco, LBPc y LBPo 2002-08-02
- Lógica básica paraconsistente y paracompleta con negación clásica 2002-06-30
- Lógica básica paraconsistente y paracompleta con negación clásica 2002-06-30
- INFERENCIA VISUAL PARA LA LOGICA ´ DE LA VAGUEDAD LBPcoC 2002
- INFERENCIA VISUAL PARA LA LOGICA ´ DE LA VAGUEDAD LBPcoC 2002
- INFERENCIA VISUAL PARA SISTEMAS DEDUCTIVOS CON OPERADOR NEGACION INFORME DE INVESTIGACION 2002
- INFERENCIA VISUAL PARA SISTEMAS DEDUCTIVOS CON OPERADOR NEGACION INFORME DE INVESTIGACION 2002
- Lógica básica con aceptación fuerte 2002
- Lógica básica con aceptación fuerte 2002
- Árboles de forzamiento semántico 2001-09-30
- Árboles de forzamiento semántico 2001-09-30
- Inferencia visual para las lógicas normales 2001
- Inferencia visual para las lógicas normales 2001
- Sistemas de lógica diagonal LD1, ..., LD42 2001
- Sistemas de lógica diagonal LD1, ..., LD42 2001
- Sistema de lógica paraconsistente C1 2000-06-30
- Sistema de lógica paraconsistente C1 2000-06-30
- Accesibilidad entre mundos posibles 1998
- Accesibilidad entre mundos posibles 1998
- CONSISTENCIA DE LOS SISTEMAS LD5 A LD10 1998
- CONSISTENCIA DE LOS SISTEMAS LD5 A LD10 1998
- LÓGICA DIAGONAL 1996
- LÓGICA DIAGONAL 1996
- Gifs animados sobre temas de Cálculo Diferencial
- Gifs animados sobre temas de Cálculo Diferencial
- CARACTERIZACIÓN SEMÁNTICA DE LOS ÁRBOLES DEFORZAMIENTO SEMÁNTICO PARA LA LÓGICA DE PREDICADOS