Document type
Master thesisPublication date
Publication license
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/150877
An Algebraic Study of Admissible Rules
Journal Title
Authors
Director/Tutor
Additional contribution
Journal ISSN
Volume Title
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.
Description
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2018-2019, Tutor: Ramon Jansana
Related resource
Subject (English)
Citation
Citation
MASTROKOSTAS, Zafeiris. An Algebraic Study of Admissible Rules. [consulted: 8 of October of 2026]. Available at: https://hdl.handle.net/2445/150877