Lógica básica paraconsistente y paracompleta y algunas de sus extensiones

El operador “negación clásica”, simbolizado “~”, está caracterizado desde el punto de vista semántico por la siguiente equivalencia: A es aceptado ~A no es aceptado Esta equivalencia dice que un enunciado es aceptado si y solamente si su negación no es aceptada. En ella pueden leerse 4 enunciados co...

Full description

Autores:

Sierra Aristizábal, Manuel

Tipo de recurso:

Fecha de publicación:

2004

Institución:

Universidad EAFIT

Repositorio:

Repositorio EAFIT

Idioma:

spa

OAI Identifier:

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

Acceso en línea:

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

Palabra clave:

Lógica Paraconsistente
Lógica Paracompleta
Negación
Contradicción
Trivialización
Compatibilidad
Completez

Rights

License

Copyright © 2004 Manuel Sierra Aristizábal