Lógica básica con aceptación fuerte

El sistema “Lógica Básica con Aceptación Fuerte” es una generalización de la Lógica Clásica. En él se tiene un operador llamado “aceptación fuerte”, el cual tiene la característica de permitir que un enunciado y la negación de su aceptación fuerte sean ambos verdaderos, también permite que un enunci...

Full description

Autores:

Sierra, Manuel

Tipo de recurso:

Article of journal

Fecha de publicación:

2002

Institución:

Universidad Nacional de Colombia

Repositorio:

Universidad Nacional de Colombia

Idioma:

spa

OAI Identifier:

oai:repositorio.unal.edu.co:unal/73493

Acceso en línea:

https://repositorio.unal.edu.co/handle/unal/73493
http://bdigital.unal.edu.co/37969/

Palabra clave:

Strong affirmation
weak affirmation
negation
axiom
classical logic
valuation
trivialization.

Rights

openAccess

License

Atribución-NoComercial 4.0 Internacional