Mostrar el registro sencillo del ítem
Trabajo Fin de Máster
Formalización de cáculos lógicos en Isabelle/Hol
dc.contributor.advisor | Hidalgo Doblado, María José | es |
dc.creator | Mateo Ceballos, María Dolores | es |
dc.date.accessioned | 2017-07-26T11:13:36Z | |
dc.date.available | 2017-07-26T11:13:36Z | |
dc.date.issued | 2017-06 | |
dc.identifier.citation | Mateo Ceballos, M.D. (2017). Formalización de cáculos lógicos en Isabelle/Hol. (Trabajo Fin de Máster Inédito). Universidad de Sevilla, Sevilla. | |
dc.identifier.uri | http://hdl.handle.net/11441/63232 | |
dc.description.abstract | Natural deduction is a sound and complete proof procedure for propositional logic, that is, it only proves valid formulas and it proves every valid formula. In this work we establish the theory of propositional logic, and we prove the soundness and completeness theorems for natural deduction in propositional logic, following the Melving Fitting’s book First-Order Logic and Automated Theorem Proving. We also present a formalization of this theory in Isabelle/HOL. The formalization covers the sintax and semantic of propositional logic, the model existence theorem, and a natural deduction proof calculus together with a proof of soundness and completeness. For this purpose, we introduce Isabelle/HOL system in this work and the main concepts that we use in the above formalization. | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Formalización de cáculos lógicos en Isabelle/Hol | es |
dc.type | info:eu-repo/semantics/masterThesis | 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 Ciencias de la Computación e Inteligencia Artificial | es |
dc.description.degree | Universidad de Sevilla. Máster Universitario en Matemáticas | es |
idus.format.extent | 91 p. | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Mateo Ceballos María Dolores ... | 504.8Kb | [PDF] | Ver/ | |