Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorSierra, Manuel
dc.date.accessioned2019-07-03T16:33:32Z
dc.date.available2019-07-03T16:33:32Z
dc.date.issued2005
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/73589
dc.description.abstractEl lenguaje del sistema LB extiende el lenguaje de la lógicaclásica al incluir operadores para las nociones de afirmación alterna (en contraste con la afirmación usual o afirmación clásica), negación alterna (en contraste con la negación clásica), y también operadores de incompatibilidady determinabilidad entre parejas de operadores: negación alterna versus afirmación alterna, negación alterna versus afirmación clásica y afirmación alterna versus negación clásica. El sistema está caracterizado por una herramienta de inferencia visual llamada árboles de forzamiento semántico. Con esta herramienta se marcan los nodos del árbol asociadoa una fórmula dada, y con base en estas marcas se determina si la fórmula es válida o no. En caso de invalidez, la valuación que refuta la validez de la fórmula está determina por las marcas en su árbol de forzamiento.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherBoletín de Matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/40409
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
dc.relation.ispartofBoletín de Matemáticas
dc.relation.ispartofseriesBoletín de Matemáticas; Vol. 12, núm. 2 (2005); 155-183 Boletín de Matemáticas; Vol. 12, núm. 2 (2005); 155-183 2357-6529 0120-0380
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleÁrboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
dc.typeArtículo de revista
dc.type.driverinfo:eu-repo/semantics/article
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/38065/
dc.relation.referencesSierra, Manuel (2005) Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas. Boletín de Matemáticas; Vol. 12, núm. 2 (2005); 155-183 Boletín de Matemáticas; Vol. 12, núm. 2 (2005); 155-183 2357-6529 0120-0380 .
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalÁrbol de forzamiento
dc.subject.proposalvaluación
dc.subject.proposalsemántica
dc.subject.proposalsistema deductivo
dc.subject.proposalincompatibilidad
dc.subject.proposaldeterminabilidad.
dc.type.coarhttp://purl.org/coar/resource_type/c_6501
dc.type.coarversionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/ART
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit