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...
- 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
| Summary: | 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 enunciado y la negación de su aceptación fuerte sean ambos falsos. |
|---|