Lógica Básica con Afirmación y Negación Alternas

El sistema Lógica básica con afirmación y negación alternas incluye, además de los operadores usuales de afirmación y negación, operadores para las nociones de afi rmación y negación alternas y operadores de incompatibilidad y determinabilidad entre la afirmación usual y la negación alterna, entre l...

Full description

Autores:

Sierra Aristizábal, Manuel

Tipo de recurso:

Fecha de publicación:

2005

Institución:

Universidad EAFIT

Repositorio:

Repositorio EAFIT

Idioma:

spa

OAI Identifier:

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

Acceso en línea:

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

Palabra clave:

Afirmación
Negación
Incompatibilidad
Determinabilidad

Rights

License

Copyright © 2005 Manuel Sierra Aristizábal