Lógica básica con aceptación fuerte
Authors
Sierra, Manuel
Director
Content type
Artículo de revista
Document language
EspañolPublication date
2002
Journal Title
Journal ISSN
Volume Title
PDF documents
Abstract
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.