dc.creatorSierra, Manuel
dc.date.accessioned2019-07-03T16:25:44Z
dc.date.available2019-07-03T16:25:44Z
dc.date.created2019-07-03T16:25:44Z
dc.date.issued2002
dc.identifierhttps://repositorio.unal.edu.co/handle/unal/73493
dc.identifierhttp://bdigital.unal.edu.co/37969/
dc.description.abstractEl 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.
dc.languagespa
dc.publisherBoletín de Matemáticas
dc.relationUniversidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
dc.relationBoletín de Matemáticas
dc.relationBoletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 2357-6529 0120-0380
dc.relationSierra, Manuel (2002) Lógica básica con aceptación fuerte. Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 2357-6529 0120-0380 .
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/40231
dc.rightsAtribución-NoComercial 4.0 Internacional
dc.rightshttp://creativecommons.org/licenses/by-nc/4.0/
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.titleLógica básica con aceptación fuerte
dc.typeArtículo de revista


Este ítem pertenece a la siguiente institución