Visual inference for the deductive systems LBPco, LBPc and LBPo

Authors

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

Keywords:

Computer Engineering, Logic, Inference (logic)

Abstract

The Usual Negation prohibits the compatibility of a proposition with its negation and indetermination with respect to the negation. The system presented in this work is a generalization of the Classical Logic. In it there is a new operator called Weak Negation, which has the characteristic of not prohibiting the compatibility with its negation nor indetermination with respect to the negation.

Author Biography

  • 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.

Downloads

Published

2012-08-06

Issue

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

Section

Texto completo