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