Á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...
- 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 |