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.

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 13 of 13
Issue DateTitleAuthor(s)
2024On interval logics and stopwatches in model-checking real-time systemsLópez Chamosa, Marina
2023Unification in intuitionistic logicCristancho S., Sebastián R.
2022Stationary Reflection on Pₖ (λ)Torres Pachón, Martha Catalina
2020Cardinals Beyond Choice and the HOD-DichotomySpoerl, John
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 13 of 13