Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/177032
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Gispert Brasó, Joan | - |
dc.contributor.author | Gastón Codony, Andrea | - |
dc.date.accessioned | 2021-05-05T08:28:18Z | - |
dc.date.available | 2021-05-05T08:28:18Z | - |
dc.date.issued | 2020-06-21 | - |
dc.identifier.uri | http://hdl.handle.net/2445/177032 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Joan Gispert Brasó | ca |
dc.description.abstract | [en] The truth-functional interpretation of classical implication gives rise to relevance paradoxes, since it doesn't adequately model our usual understanding of a valid implication, which assumes the antecedent is relevant to the truth of the consequent. This work gives an overview of the system $\mathbf{R}$ of relevance logic, which aims to avoid said paradoxes. We present the logic $\mathbf{R}$ with a Hilbert calculus and then prove the Variable-sharing Theorem. We also give an equivalent algebraic semantics for $\mathbf{R}$ and a semantics for its first-degree entailment fragment. | ca |
dc.format.extent | 68 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.rights | cc-by-nc-nd (c) Andrea Gastón Codony, 2020 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
dc.subject.classification | Lògica matemàtica | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Lògica algebraica | ca |
dc.subject.other | Mathematical logic | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | Algebraic logic | en |
dc.title | On the construction and algebraic semantics of relevance logic | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
177032.pdf | Memòria | 1.17 MB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License