Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
El forzamiento semántico de marcas para el sistema de Lógica Básica Paraconsistente, LBPc, se obtiene a partir del forzamiento semántico de marcas clásico agregando un nuevo operador llamado negación débil, las reglas de inferencia para esta negación indican que la negación débil se sigue de la nega...
- Autores:
-
Sierra Aristizábal, Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2003
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/17229
- Acceso en línea:
- http://hdl.handle.net/10784/17229
- Palabra clave:
- Lógica paraconsistente
Negación débil
Semántica
Contradicción
Teoría trivial
- Rights
- License
- Copyright © 2003 Manuel Sierra Aristizábal
| Summary: | El forzamiento semántico de marcas para el sistema de Lógica Básica Paraconsistente, LBPc, se obtiene a partir del forzamiento semántico de marcas clásico agregando un nuevo operador llamado negación débil, las reglas de inferencia para esta negación indican que la negación débil se sigue de la negación usual, pero sólo en casos particulares vale la reciproca. El sistema resultante soporta contradicciones débiles, es decir, sirve de base para el estudio de teorías inconsistentes pero no triviales. |
|---|