Abducción en modelos finitos

Soler Toscano, Fernando; Nepomuceno Fernández, Ángel

Artículo

dc.creator	Soler Toscano, Fernando	es
dc.creator	Nepomuceno Fernández, Ángel	es
dc.date.accessioned	2018-05-07T11:42:27Z
dc.date.available	2018-05-07T11:42:27Z
dc.date.issued	2008
dc.identifier.citation	Soler Toscano, F. y Nepomuceno Fernández, Á. (2008). Abducción en modelos finitos. Crítica: Revista Hispanoamericana de Filosofía, 40 (118), 57-78.
dc.identifier.issn	0011-1503 (impreso)	es
dc.identifier.issn	1870-4905 (electrónico)	es
dc.identifier.uri	https://hdl.handle.net/11441/74208
dc.description.abstract	Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante conocida. Empleando una variante del cálculo de tablas semánticas y resolución dual, construimos un procedimiento efectivo para encontrar soluciones abductivas minimales dentro de la semántica propuesta.	es
dc.format	application/pdf	es
dc.language.iso	spa	es
dc.publisher	Universidad Nacional Autónoma de México	es
dc.relation.ispartof	Crítica: Revista Hispanoamericana de Filosofía, 40 (118), 57-78.
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Lógica de primer orden	es
dc.subject	Resolución dual	es
dc.subject	Tablas semánticas	es
dc.subject	First order logic	es
dc.subject	Dual resolution	es
dc.subject	Semantic tableaux	es
dc.title	Abducción en modelos finitos	es
dc.type	info:eu-repo/semantics/article	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/publishedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia	es
dc.relation.publisherversion	http://critica.filosoficas.unam.mx/pg/es/numeros_detalle_articulo.php?id_articulo=128&id_volumen=23	es
idus.format.extent	22 p.	es
dc.journaltitle	Crítica: Revista Hispanoamericana de Filosofía	es
dc.publication.volumen	40	es
dc.publication.issue	118	es
dc.publication.initialPage	57	es
dc.publication.endPage	78	es
dc.identifier.sisius	6580371	es

Ficheros	Tamaño	Formato	Ver	Descripción
Modelos Finitos.pdf	153.8Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Artículos (Filosofía y Lógica y Filosofía de la Ciencia)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: http://creativecommons.org/licenses/by-nc-nd/4.0/