Lógica básica con aceptación fuerte Report as inadecuate




Lógica básica con aceptación fuerte - Download this document for free, or read online. Document in PDF available to download.



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.

Tipo de documento: Artículo - Article

Palabras clave: Strong affirmation, weak affirmation, negation, axiom, classical logic, valuation, trivialization.





Source: http://www.bdigital.unal.edu.co







Related documents