Lógica Básica Paraconsistente y Paracompleta con Negación Clásica

Main Article Content

Manuel Sierra

Keywords

Inconsistencia, Indeterminación, Negación fuerte y negación débil

Resumen

La negación clásica prohíbe 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 llamado "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.

Descargas

Los datos de descargas todavía no están disponibles.
Abstract 432 | PDF Downloads 456