Atribución-NoComercial 4.0 InternacionalSierra, Manuel2019-07-032019-07-032002https://repositorio.unal.edu.co/handle/unal/73493El 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.application/pdfspaDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/Artículo de revistahttp://bdigital.unal.edu.co/37969/info:eu-repo/semantics/openAccessStrong affirmationweak affirmationnegationaxiomclassical logicvaluationtrivialization.