dc.creator | Nepomuceno Fernández, Ángel | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2017-04-17T06:29:56Z | |
dc.date.available | 2017-04-17T06:29:56Z | |
dc.date.issued | 2012 | |
dc.identifier.citation | Nepomuceno Fernández, Á. y Pérez Jiménez, M.d.J. (2012). Programas moleculares y sistemas lógico-formales. Kairos: Revista de Filosofia e Ciência, 5, 77-89. | |
dc.identifier.issn | 2182-2824 (impreso) | es |
dc.identifier.issn | 1647-659X (electrónico) | es |
dc.identifier.uri | http://hdl.handle.net/11441/57526 | |
dc.description.abstract | Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, a cada programa molecular que resuelve un problema de decisión y se justifica que la verificación form al de dicho programa (respecto del problema en cuestión) equivale a establecer la adecuación, o corrección, y la completitud del sistema formal asociado. En un primer apartado introducimos la lógica de segundo orden, teniendo en cuenta la tradicional distinción entre semántica estándar y semántica de Henkin ; se estudia un sistema lógico- formal de segundo orden cuyo lenguaje no tiene variables individuales ni funcionales, se esboza un cálculo deductivo y se establecen su adecuación y su completitud. Sigue un apartado dedicado a introducir una sencilla explicación de qué son los programas moleculares; se da una formalización de un programa molecular y se asocia a éste un sistema lógico- formal basado en la lógica de segundo orden estudiada. En el último apartado se caracteriza la verificación formal de programas moleculares en términos de las propiedades metateóricas del sistema lógico-formal asociado. Concluimos con unas breves consideraciones finales y una bibliografía básica. | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.publisher | De Gruyter | es |
dc.relation.ispartof | Kairos: Revista de Filosofia e Ciência, 5, 77-89. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Programas moleculares y sistemas lógico-formales | 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.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | http://kairos.fc.ul.pt/nr%205/Programas%20Moleculares%20y%20Sistemas%20L%C3%B3gico-formales.pdf | es |
dc.contributor.group | Universidad de Sevilla.TIC193: Computacion Natural | es |
dc.contributor.group | Universidad de Sevilla. HUM609: Grupo de Lógica, Lenguaje e Información | es |
idus.format.extent | 13 p. | es |
dc.journaltitle | Kairos: Revista de Filosofia e Ciência | es |
dc.publication.volumen | 5 | es |
dc.publication.initialPage | 77 | es |
dc.publication.endPage | 89 | es |