Árboles de forzamiento semántico

En este trabajo se presenta por primera vez el sistema de reglas de inferencia gráficas, árboles de forzamiento semántico, el cual proporciona de manera natural un método efectivo de decisión para el cálculo proposicional clásico y para el cálculo clásico de predicados monádicos de primer orden....

Full description

Autores:: Sierra, Manuel

Tipo de recurso:

Fecha de publicación:: 2001

Institución:: Universidad EAFIT

Repositorio:: Repositorio EAFIT

Idioma:: spa

id	REPOEAFIT2_97347e976d7092833f94959db56f8b81
oai_identifier_str	oai:repository.eafit.edu.co:10784/17288
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 degrees20012020-07-30T21:01:17Z20012020-07-30T21:01:17Z0120-341Xhttp://hdl.handle.net/10784/17288En este trabajo se presenta por primera vez el sistema de reglas de inferencia gráficas, árboles de forzamiento semántico, el cual proporciona de manera natural un método efectivo de decisión para el cálculo proposicional clásico y para el cálculo clásico de predicados monádicos de primer orden.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984/886http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984/886Copyright © 2001 Manuel SierraAcceso abiertohttp://purl.org/coar/access_right/c_abf2Revista Universidad EAFIT, Vol. 37, No. 123 (2001)Á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_2df8fbb1Cálculo de predicadosCálculo proposicionalSierra, ManuelUniversidad EAFITRevista Universidad EAFIT371235372THUMBNAILdminiatura-rev-eafit[986].jpgdminiatura-rev-eafit[986].jpgimage/jpeg118416https://repository.eafit.edu.co/bitstreams/156a3d69-74d2-4680-bfec-71fd11ddb310/download9ac51cb2b5f275d90bbb40324068baabMD51ORIGINALdocument - 2020-08-24T121630.903.pdfdocument - 2020-08-24T121630.903.pdfTexto completo PDFapplication/pdf857216https://repository.eafit.edu.co/bitstreams/d484469a-535b-491c-bcb9-404d66934d74/download522a4e909aa9dee9ad42a1cec28c4dbbMD52articulo - copia (6).htmlarticulo - copia (6).htmlTexto completo HTMLtext/html389https://repository.eafit.edu.co/bitstreams/b8c07d9f-7a08-4c15-ac62-ec77354707dc/downloadf3183bceacf8d02d2c1c56d7068a993fMD5310784/17288oai:repository.eafit.edu.co:10784/172882021-09-03 15:08:40.131open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co
dc.title.spa.fl_str_mv	Árboles de forzamiento semántico
title	Árboles de forzamiento semántico
spellingShingle	Árboles de forzamiento semántico Cálculo de predicados Cálculo proposicional
title_short	Árboles de forzamiento semántico
title_full	Árboles de forzamiento semántico
title_fullStr	Árboles de forzamiento semántico
title_full_unstemmed	Árboles de forzamiento semántico
title_sort	Árboles de forzamiento semántico
dc.creator.fl_str_mv	Sierra, Manuel
dc.contributor.author.spa.fl_str_mv	Sierra, Manuel
dc.contributor.affiliation.spa.fl_str_mv	Universidad EAFIT
dc.subject.keyword.spa.fl_str_mv	Cálculo de predicados Cálculo proposicional
topic	Cálculo de predicados Cálculo proposicional
description	En este trabajo se presenta por primera vez el sistema de reglas de inferencia gráficas, árboles de forzamiento semántico, el cual proporciona de manera natural un método efectivo de decisión para el cálculo proposicional clásico y para el cálculo clásico de predicados monádicos de primer orden.
publishDate	2001
dc.date.issued.none.fl_str_mv	2001
dc.date.available.none.fl_str_mv	2020-07-30T21:01:17Z
dc.date.accessioned.none.fl_str_mv	2020-07-30T21:01:17Z
dc.date.none.fl_str_mv	2001
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	0120-341X
dc.identifier.uri.none.fl_str_mv	http://hdl.handle.net/10784/17288
identifier_str_mv	0120-341X
url	http://hdl.handle.net/10784/17288
dc.language.iso.none.fl_str_mv	spa
language	spa
dc.relation.isversionof.none.fl_str_mv	http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984/886
dc.relation.uri.none.fl_str_mv	http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984/886
dc.rights.eng.fl_str_mv	Copyright © 2001 Manuel Sierra
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 © 2001 Manuel Sierra Acceso abierto http://purl.org/coar/access_right/c_abf2
dc.format.none.fl_str_mv	application/pdf
dc.coverage.spatial.none.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.spa.fl_str_mv	Revista Universidad EAFIT, Vol. 37, No. 123 (2001)
institution	Universidad EAFIT
bitstream.url.fl_str_mv	https://repository.eafit.edu.co/bitstreams/156a3d69-74d2-4680-bfec-71fd11ddb310/download https://repository.eafit.edu.co/bitstreams/d484469a-535b-491c-bcb9-404d66934d74/download https://repository.eafit.edu.co/bitstreams/b8c07d9f-7a08-4c15-ac62-ec77354707dc/download
bitstream.checksum.fl_str_mv	9ac51cb2b5f275d90bbb40324068baab 522a4e909aa9dee9ad42a1cec28c4dbb f3183bceacf8d02d2c1c56d7068a993f
bitstream.checksumAlgorithm.fl_str_mv	MD5 MD5 MD5
repository.name.fl_str_mv	Repositorio Institucional Universidad EAFIT
repository.mail.fl_str_mv	repositorio@eafit.edu.co
_version_	1814110320886546432

Árboles de forzamiento semántico

Publicaciones similares