Sierra-aristizabal, Manuel  |  Investigador

documento

• Semantic-Deductive Characterization Of The Original Gamma Existential Graphs 2023-12-10
• Paraconsistent Existential Graphs Gamma Peirce System 2023-12-05
• Gráficos existenciales paraconsistentes AlfaK 2022-08-04
• 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 OPERACIONES ENTRE CONJUNTOS 2017
• 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
• Lógica de las tautologías 2012
• Argumentación deductiva con diagramas y árboles de forzamiento 2010
• Conjuntos y relaciones 2010
• Lógica básica para la verdad aristotélica 2010
• Lógicas epistémica y doxástica con restricciones 2010
• Sistemas multi–modales de profundidad restringida 2008-12-31
• Algunas lógicas modales asociadas al razonamiento de los agentes inteligentes 2008
• Sistemas de creencias para razonadores de diferente tipo. 2008
• Sistema paraconsistente y paracompleto LBPcPo 2007-12-31
• Tipos de razonadores 2007-06-30
• ALGUNAS LOGICAS MODALES ASOCIADAS AL RAZONAMIENTO DE AGENTES INTELIGENTES 2007
• CARACTERIZACION SEMANTICA DE LA JERARQUIA SCR-N (1≤N≤ ω) 2007
• Lógica básica para la verdad y la falsedad LBVF 2007
• Caracterización deductiva de los árboles de forzamiento semántico 2006
• SISTEMA PARACOMPLETO LBP◦¬C 2006
• Sistema paraconsistente LBPc¬I 2006
• 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
• 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
• Á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
• 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
• 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
• 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
• 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 SISTEMAS DEDUCTIVOS CON OPERADOR NEGACION INFORME DE INVESTIGACION 2002
• Lógica básica con aceptación fuerte 2002
• Árboles de forzamiento semántico 2001-09-30
• Inferencia visual para las lógicas normales 2001
• Sistemas de lógica diagonal LD1, ..., LD42 2001
• Sistema de lógica paraconsistente C1 2000-06-30
• Accesibilidad entre mundos posibles 1998
• CONSISTENCIA DE LOS SISTEMAS LD5 A LD10 1998
• LÓGICA DIAGONAL 1996
• Gifs animados sobre temas de Cálculo Diferencial