Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/150877
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Jansana, Ramon | - |
dc.contributor.author | Mastrokostas, Zafeiris | - |
dc.date.accessioned | 2020-02-20T17:18:33Z | - |
dc.date.available | 2020-02-20T17:18:33Z | - |
dc.date.issued | 2020-02 | - |
dc.identifier.uri | http://hdl.handle.net/2445/150877 | - |
dc.description | Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2018-2019, Tutor: Ramon Jansana | ca |
dc.description.abstract | In this thesis we shall study admissible rules within the general framework of Abstract Algebraic Logic (AAL). Following Lorenzen, we say that a rule is admissible for a logic S whenever it does not add new theorems to S. Despite the seemingly natural definition, the determination of admissible rules in particular logics is usually a difficult problem and requires a deep understanding of the structural properties of the logic. Our purpose is not to study particular cases but instead, we intent to present algebraic conditions of the admissibility of a rule for a logic both in the general case and also depending on its classification in the Leibniz hierarchy. Particular cases will be presented as examples or counter-examples, whenever it is necessary. | ca |
dc.format.extent | 60 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.rights | cc-by-nc-nd (c) Mastrokostas, 2019 | - |
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 | Lògica algebraica | - |
dc.subject.classification | Àlgebra abstracta | - |
dc.subject.classification | Treballs de fi de màster | - |
dc.subject.other | Logic | - |
dc.subject.other | Algebraic logic | - |
dc.subject.other | Abstract algebra | - |
dc.subject.other | Master's theses | - |
dc.title | An Algebraic Study of Admissible Rules | 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 | |
---|---|---|---|---|
TFM_Zafeiris Mastrokostas.pdf | 823.36 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License