Deductive characterization of semantic forcing trees
The classic propositional calculus is characterized by a visual inference tool called semantic forcing trees. With this tool the nodes of the tree associated with a given formula are marked, and based on these marks it is determined whether the formula is valid or not. In case of disability, the val...
- Autores:
-
Sierra A., Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2006
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/14564
- Acceso en línea:
- http://hdl.handle.net/10784/14564
- Palabra clave:
- Forcing Tree
Valuation
Semantics
Deductive System
Árbol De Forzamiento
Valuación
Semántica
Sistema Deductivo
- Rights
- License
- Copyright (c) 2006 Manuel Sierra A.
id |
REPOEAFIT2_46f214a95167dcf9fa36487fd79a9a5a |
---|---|
oai_identifier_str |
oai:repository.eafit.edu.co:10784/14564 |
network_acronym_str |
REPOEAFIT2 |
network_name_str |
Repositorio EAFIT |
repository_id_str |
|
spelling |
Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees2006-06-012019-11-22T19:18:50Z2006-06-012019-11-22T19:18:50Z2256-43141794-9165http://hdl.handle.net/10784/14564The classic propositional calculus is characterized by a visual inference tool called semantic forcing trees. With this tool the nodes of the tree associated with a given formula are marked, and based on these marks it is determined whether the formula is valid or not. In case of disability, the valuation that refutes the validity of the formula is determined by the marks of the leaves in its forcing tree. In case of validity, a formal deduction of the formula associated with the root of the tree can be constructed; This is achieved because each rule used to mark the nodes in the tree is associated with an inference rule in the deductive system.El cálculo proposicional clásico está caracterizado por una herramienta de inferencia visual llamada árboles de forzamiento semántico. Con esta herramienta se marcan los nodos del árbol asociado a 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á determinada por las marcas de las hojas en su árbol de forzamiento. En caso de validez, se puede construir una deducción formal de la fórmula asociada a la raíz del árbol; esto se logra debido a que cada regla utilizada para marcar los nodos en el árbol está asociada a una regla de inferencia en el sistema deductivoapplication/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487Copyright (c) 2006 Manuel Sierra A.Acceso abiertohttp://purl.org/coar/access_right/c_abf2instname:Universidad EAFITreponame:Repositorio Institucional Universidad EAFITIngeniería y Ciencia; Vol 2, No 3 (2006)Deductive characterization of semantic forcing treesCaracterización deductiva de los árboles de forzamiento semánticoarticleinfo:eu-repo/semantics/articlepublishedVersioninfo:eu-repo/semantics/publishedVersionArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1Forcing TreeValuationSemanticsDeductive SystemÁrbol De ForzamientoValuaciónSemánticaSistema DeductivoSierra A., ManuelUniversidad EAFITIngeniería y Ciencia2373102ing.cienc.THUMBNAILminaitura-ig_Mesa de trabajo 1.jpgminaitura-ig_Mesa de trabajo 1.jpgimage/jpeg265796https://repository.eafit.edu.co/bitstreams/880cee3f-67ee-4baf-9741-c440d7c27220/downloadda9b21a5c7e00c7f1127cef8e97035e0MD51ORIGINALdocument (2).pdfdocument (2).pdfTexto completo PDFapplication/pdf205203https://repository.eafit.edu.co/bitstreams/90cbc512-24b0-486d-b340-0e15c4466e57/download61332688ce7c94f99f39d4f485b45383MD5210784/14564oai:repository.eafit.edu.co:10784/145642020-01-30 08:15:33.089open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co |
dc.title.eng.fl_str_mv |
Deductive characterization of semantic forcing trees |
dc.title.spa.fl_str_mv |
Caracterización deductiva de los árboles de forzamiento semántico |
title |
Deductive characterization of semantic forcing trees |
spellingShingle |
Deductive characterization of semantic forcing trees Forcing Tree Valuation Semantics Deductive System Árbol De Forzamiento Valuación Semántica Sistema Deductivo |
title_short |
Deductive characterization of semantic forcing trees |
title_full |
Deductive characterization of semantic forcing trees |
title_fullStr |
Deductive characterization of semantic forcing trees |
title_full_unstemmed |
Deductive characterization of semantic forcing trees |
title_sort |
Deductive characterization of semantic forcing trees |
dc.creator.fl_str_mv |
Sierra A., Manuel |
dc.contributor.author.spa.fl_str_mv |
Sierra A., Manuel |
dc.contributor.affiliation.spa.fl_str_mv |
Universidad EAFIT |
dc.subject.keyword.eng.fl_str_mv |
Forcing Tree Valuation Semantics Deductive System |
topic |
Forcing Tree Valuation Semantics Deductive System Árbol De Forzamiento Valuación Semántica Sistema Deductivo |
dc.subject.keyword.spa.fl_str_mv |
Árbol De Forzamiento Valuación Semántica Sistema Deductivo |
description |
The classic propositional calculus is characterized by a visual inference tool called semantic forcing trees. With this tool the nodes of the tree associated with a given formula are marked, and based on these marks it is determined whether the formula is valid or not. In case of disability, the valuation that refutes the validity of the formula is determined by the marks of the leaves in its forcing tree. In case of validity, a formal deduction of the formula associated with the root of the tree can be constructed; This is achieved because each rule used to mark the nodes in the tree is associated with an inference rule in the deductive system. |
publishDate |
2006 |
dc.date.issued.none.fl_str_mv |
2006-06-01 |
dc.date.available.none.fl_str_mv |
2019-11-22T19:18:50Z |
dc.date.accessioned.none.fl_str_mv |
2019-11-22T19:18:50Z |
dc.date.none.fl_str_mv |
2006-06-01 |
dc.type.eng.fl_str_mv |
article info:eu-repo/semantics/article publishedVersion info:eu-repo/semantics/publishedVersion |
dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 http://purl.org/coar/resource_type/c_2df8fbb1 |
dc.type.local.spa.fl_str_mv |
Artículo |
status_str |
publishedVersion |
dc.identifier.issn.none.fl_str_mv |
2256-4314 1794-9165 |
dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/10784/14564 |
identifier_str_mv |
2256-4314 1794-9165 |
url |
http://hdl.handle.net/10784/14564 |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.isversionof.none.fl_str_mv |
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487 |
dc.relation.uri.none.fl_str_mv |
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487 |
dc.rights.eng.fl_str_mv |
Copyright (c) 2006 Manuel Sierra A. |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.local.spa.fl_str_mv |
Acceso abierto |
rights_invalid_str_mv |
Copyright (c) 2006 Manuel Sierra A. Acceso abierto http://purl.org/coar/access_right/c_abf2 |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.spatial.eng.fl_str_mv |
Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees |
dc.publisher.spa.fl_str_mv |
Universidad EAFIT |
dc.source.none.fl_str_mv |
instname:Universidad EAFIT reponame:Repositorio Institucional Universidad EAFIT |
dc.source.spa.fl_str_mv |
Ingeniería y Ciencia; Vol 2, No 3 (2006) |
instname_str |
Universidad EAFIT |
institution |
Universidad EAFIT |
reponame_str |
Repositorio Institucional Universidad EAFIT |
collection |
Repositorio Institucional Universidad EAFIT |
bitstream.url.fl_str_mv |
https://repository.eafit.edu.co/bitstreams/880cee3f-67ee-4baf-9741-c440d7c27220/download https://repository.eafit.edu.co/bitstreams/90cbc512-24b0-486d-b340-0e15c4466e57/download |
bitstream.checksum.fl_str_mv |
da9b21a5c7e00c7f1127cef8e97035e0 61332688ce7c94f99f39d4f485b45383 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional Universidad EAFIT |
repository.mail.fl_str_mv |
repositorio@eafit.edu.co |
_version_ |
1814110208463470592 |