Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/133778Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | del Castillo Tierz, Jorge del | - |
| dc.date.accessioned | 2019-05-23T08:28:05Z | - |
| dc.date.available | 2019-05-23T08:28:05Z | - |
| dc.date.issued | 2018 | - |
| dc.identifier.uri | http://hdl.handle.net/2445/133778 | - |
| dc.description | Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2017-2018, Tutor: Joost J. Joosten | ca |
| dc.description.abstract | This master thesis presents a brief introduction to type theory, starting at the simplest systems and building up to the Calculus of Inductive Constructions, the formal theory that lies behind some software tools called 'proof assistants'. We will then study a real-life problem based on an actual law (European Regulation 561 for Road Transport) and show that there exist ambiguous situations. Finally, we will use Coq, a proof assistant, to draft the correctness checking proof of our results on the law. | ca |
| dc.format.extent | 126 p. | - |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | eng | ca |
| dc.rights | cc-by-nc-nd (c) Castillo Tierz, 2018 | - |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
| dc.source | Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada | - |
| dc.subject.classification | Lògica | - |
| dc.subject.classification | Teoria de tipus | - |
| dc.subject.classification | Treballs de fi de màster | - |
| dc.subject.other | Logic | - |
| dc.subject.other | Type theory | - |
| dc.subject.other | Master's theses | - |
| dc.title | When the laws of logic meet the logic of laws | ca |
| dc.type | info:eu-repo/semantics/masterThesis | ca |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
| Appears in Collections: | Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| When_the_laws_of_logic_meet_the_logic_of_laws.pdf | 981.78 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License
