Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada Página principal de la colección

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

Listar
Suscribirse para recibir un correo electrónico cada vez que se introduzca un documento en esta Colección. RSS Feed RSS Feed RSS Feed
Documentos de la colección (Ordenados por Fecha de envío en Descendente orden): 1 de 20 de 27
Fecha de publicaciónTítuloAutor(es)
sep-2024Possible worlds and the contingency of logicMayaux, Paul
sep-2024The mountain pass theorem on subsystems of second order arithmeticAguilar Enríquez, Miguel Alejandro
agoo-2024Interactive Proofs in Bounded ArithmeticsSoto, Martín
sep-2024Reiterman‘s theorem for pseudovarietiesLiberal Grana, Ion Mikel
sep-2024Multimodal logics for musical grammarsAsensi Arranz, Roger
sep-2024On Languages and a Strictly Positive Fragment of Linear Temporal LogicAcevedo, Lucas Uzías
sep-2024A Formalization of Kannan’s Circuit Lower Bound in Bounded ArithmeticCantero de Arriba, Carlos
agoo-2024Lexical Semantics in Modern Type Theory: The challenge of selectional coercionKuznetsov, Stepan G
sep-2024Higher Structural Reflection and Very Large CardinalsHou, Nai-Chung
jul-2024A classification of the set-theoretic total recursive functions of KPlFernández Dejean, Anton
jul-2024Inconsistency lemmas and the inconsistency by cases propertyHortelano Martín, Isabel
jul-2024Rational and Delta expansions of the Nilpotent Minimum LogicSempere Camín, Paula
jul-2024Meet-irreducible elements in the poset of all logicsMuñoz Pérez, MIguel
jul-2024Epimorphism Surjectivity in Logic and AlgebraKurtzhals, Miriam
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
ene-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
Documentos de la colección (Ordenados por Fecha de envío en Descendente orden): 1 de 20 de 27