Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas

El 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 determinab...

Full description

Autores:
Sierra, Manuel
Tipo de recurso:
Article of journal
Fecha de publicación:
2005
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/73589
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/73589
http://bdigital.unal.edu.co/38065/
Palabra clave:
Árbol de forzamiento
valuación
semántica
sistema deductivo
incompatibilidad
determinabilidad.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_c867312b56c14f84c251b0c96804f83b
oai_identifier_str oai:repositorio.unal.edu.co:unal/73589
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Sierra, Manuel4faaef59-750e-42f4-abff-38846b8629013002019-07-03T16:33:32Z2019-07-03T16:33:32Z2005https://repositorio.unal.edu.co/handle/unal/73589http://bdigital.unal.edu.co/38065/El 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.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/40409Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletí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-0380Sierra, 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 .Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternasArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTÁrbol de forzamientovaluaciónsemánticasistema deductivoincompatibilidaddeterminabilidad.ORIGINAL40409-181361-1-PB.pdfapplication/pdf257688https://repositorio.unal.edu.co/bitstream/unal/73589/1/40409-181361-1-PB.pdfc77a8b95a4950061ea9c5ddd5b333da5MD51THUMBNAIL40409-181361-1-PB.pdf.jpg40409-181361-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg4445https://repositorio.unal.edu.co/bitstream/unal/73589/2/40409-181361-1-PB.pdf.jpg0085a81f38c730fd4dcb53a5275976a8MD52unal/73589oai:repositorio.unal.edu.co:unal/735892023-06-29 23:04:04.337Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
title Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
spellingShingle Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
Árbol de forzamiento
valuación
semántica
sistema deductivo
incompatibilidad
determinabilidad.
title_short Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
title_full Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
title_fullStr Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
title_full_unstemmed Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
title_sort Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
dc.creator.fl_str_mv Sierra, Manuel
dc.contributor.author.spa.fl_str_mv Sierra, Manuel
dc.subject.proposal.spa.fl_str_mv Árbol de forzamiento
valuación
semántica
sistema deductivo
incompatibilidad
determinabilidad.
topic Árbol de forzamiento
valuación
semántica
sistema deductivo
incompatibilidad
determinabilidad.
description El 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.
publishDate 2005
dc.date.issued.spa.fl_str_mv 2005
dc.date.accessioned.spa.fl_str_mv 2019-07-03T16:33:32Z
dc.date.available.spa.fl_str_mv 2019-07-03T16:33:32Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/73589
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/38065/
url https://repositorio.unal.edu.co/handle/unal/73589
http://bdigital.unal.edu.co/38065/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/bolma/article/view/40409
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
Boletín de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv 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.relation.references.spa.fl_str_mv Sierra, 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.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Boletín de Matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/73589/1/40409-181361-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/73589/2/40409-181361-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv c77a8b95a4950061ea9c5ddd5b333da5
0085a81f38c730fd4dcb53a5275976a8
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814090009651707904