Publicado

2002-01-01

LÓGICA BÁSICA CON ACEPTACIÓN FUERTE

Palabras clave:

Strong affirmation, weak affirmation, negation, axiom, classical logic, valuation, trivialization. (es)

Descargas

Autores/as

  • Manuel Sierra Universidad EAFIT
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.

Visitas a la página del resumen del artículo

369

Descargas

Los datos de descarga aún no están disponibles.

Cómo citar

Sierra, M. (2002). LÓGICA BÁSICA CON ACEPTACIÓN FUERTE. Boletín De Matemáticas, 9(1), 23-52. https://revistas.unal.edu.co/index.php/bolma/article/view/40231

Licencia

Derechos de autor 2002 Boletín de Matemáticas

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.