Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo

Autores/as

  • Manuel Sierra Aristizábal Universidad EAFIT
  • Universidad EAFIT. Grupo de investigación “Lógica y computación” Universidad EAFIT

Palabras clave:

Ingeniería de computación, Lógica, Inferencia (Lógica)

Resumen

La Negación Clásica prohibe la compatibilidad de un enunciado con su negación y las indeterminaciones respecto a la negación. El sistema presentado en este trabajo, es una generalización de la Lógica Clásica. En él se tiene un operador Ilamado Negación Débil, el cual tiene la característica de no prohibir la compatibilidad de un enunciado con su negación ni las indeterminaciones respecto a la negación.

Biografía del autor/a

  • Manuel Sierra Aristizábal, Universidad EAFIT
    Licenciado en Matemáticas de la Universidad de Medellin. Magister en Ciencias con especialidad en Lógica Matemática de la Universidad Nacional de Colombia. Profesor e Investigador de la Escuela de Ciencias y Humanidades de la Universidad EAFIT y coordinador de la Especialización en Lógica y Filosofía en la misma Universidad.

Descargas

Publicado

2012-08-06

Número

Núm. 5 (2002): Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo

Sección

Texto completo