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

Treballs Finals del Màster de Lògica Pura i Aplicada de la Facultat de Filosofia de la Universitat de Barcelona.

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 9 of 9
Issue DateTitleAuthor(s)
Jan-2021Interpretability logics and generalized Veltman semantics in AgdaMas Rovira, Jan
Oct-2020Cardinal Arithmetic: From Silver’s Theorem to Shelah’s PCF TheoryGallart Rodríguez, Curial
Oct-2020Inconsistency lemmas: an algebraic approachHerrera Hernández, Jorge
Sep-2020Independent Combinatoric Worm Principles for First Order Arithmetic and BeyondPapafilippou, Konstantinos
2020Proof theory of the calculus of relationsGentili, Stefano
Feb-2020An Algebraic Study of Admissible RulesMastrokostas, Zafeiris
Jun-2018Gentzen Relations and Contextual Deduction-Detachment TheoremsMenéndez Turata, Guillermo
2018When the laws of logic meet the logic of lawsdel Castillo Tierz, Jorge del
2018On a game-theoretic semantics for the Dialectica interpretation of analysisGonzález Bedmar, Mireia
Collection's Items (Sorted by Submit Date in Descending order): 1 to 9 of 9