Sistema paraconsistente y paracompleto LBPcPo

El sistema LBPcPo se construye como una extensión de la lógica clásica positiva al incluir dos operadores de negación alterna, un operador de incompatibilidad y un operador de completez, y a partir de los cuales se definen los operadores de negación fuerte, afirmación alterna y completez alterna. El...

Full description

Autores:

Sierra Aristizábal, Manuel

Tipo de recurso:

Fecha de publicación:

2007

Institución:

Universidad EAFIT

Repositorio:

Repositorio EAFIT

Idioma:

spa

OAI Identifier:

oai:repository.eafit.edu.co:10784/16710

Acceso en línea:

http://hdl.handle.net/10784/16710

Palabra clave:

Verdad
Falsedad
Afirmación alterna
Negación alterna
Paracompleto
Paraconsistente

Rights

License

Copyright © 2007 Manuel Sierra Aristizábal