Repositorio de producción científica de la Universidad de Sevilla

Programas moleculares y sistemas lógico-formales

 

Advanced Search
 

Show simple item record

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
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
Size: 207.4Kb
Format: PDF

This item appears in the following Collection(s)

Show simple item record