Lógica Básica Paraconsistente y Paracompleta con Negación Clásica
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ísti...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2002 |
| País: | Colombia |
| Institución: | Universidad EAFIT |
| Repositorio: | Repositorio EAFIT |
| Idioma: | español |
| OAI Identifier: | oai:repository.eafit.edu.co:10784/17266 |
| Acceso en línea: | http://hdl.handle.net/10784/17266 |
| Access Level: | acceso abierto |
| Palabra clave: | Inconsistencia Indeterminación Negación fuerte y negación débil |
| Sumario: | 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. |
|---|