Mostrar el registro sencillo del ítem
Artículo
Abducción en modelos finitos
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/ | |