Miniatura

Fitxers

TFM_Zafeiris Mastrokostas.pdf (823.36 KB)

Tipus de document

Treball de fi de màster

Data de publicació

2020-02

Llicència de publicació

cc-by-nc-nd (c) Mastrokostas, 2019
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/150877

An Algebraic Study of Admissible Rules

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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.

Descripció

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2018-2019, Tutor: Ramon Jansana

Matèries

Lògica, Lògica algebraica, Àlgebra abstracta, Treballs de fi de màster

Matèries (anglès)

Logic, Algebraic logic, Abstract algebra, Master's theses

Citació

Col·leccions

Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Citació

MASTROKOSTAS, Zafeiris. An Algebraic Study of Admissible Rules. [consulta: 25 de febrer de 2026]. [Disponible a: https://hdl.handle.net/2445/150877]

Exportar metadades

JSON - METS

Compartir registre