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

Full description

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