Documentos de la colección (Ordenados por Fecha de envío en Descendente orden): 1 de 20 de 27
Fecha de publicación | Título | Autor(es) |
sep-2024 | Possible worlds and the contingency of logic | Mayaux, Paul |
sep-2024 | The mountain pass theorem on subsystems of second order arithmetic | Aguilar Enríquez, Miguel Alejandro |
agoo-2024 | Interactive Proofs in Bounded Arithmetics | Soto, Martín |
sep-2024 | Reiterman‘s theorem for pseudovarieties | Liberal Grana, Ion Mikel |
sep-2024 | Multimodal logics for musical grammars | Asensi Arranz, Roger |
sep-2024 | On Languages and a Strictly Positive Fragment of Linear Temporal Logic | Acevedo, Lucas Uzías |
sep-2024 | A Formalization of Kannan’s Circuit Lower Bound in Bounded Arithmetic | Cantero de Arriba, Carlos |
agoo-2024 | Lexical Semantics in Modern Type Theory: The challenge of selectional coercion | Kuznetsov, Stepan G |
sep-2024 | Higher Structural Reflection and Very Large Cardinals | Hou, Nai-Chung |
jul-2024 | A classification of the set-theoretic total recursive functions of KPl | Fernández Dejean, Anton |
jul-2024 | Inconsistency lemmas and the inconsistency by cases property | Hortelano Martín, Isabel |
jul-2024 | Rational and Delta expansions of the Nilpotent Minimum Logic | Sempere Camín, Paula |
jul-2024 | Meet-irreducible elements in the poset of all logics | Muñoz Pérez, MIguel |
jul-2024 | Epimorphism Surjectivity in Logic and Algebra | Kurtzhals, Miriam |
2024 | On interval logics and stopwatches in model-checking real-time systems | López Chamosa, Marina |
2023 | Unification in intuitionistic logic | Cristancho S., Sebastián R. |
2022 | Stationary Reflection on Pₖ (λ) | Torres Pachón, Martha Catalina |
2020 | Cardinals Beyond Choice and the HOD-Dichotomy | Spoerl, John |
ene-2021 | Interpretability logics and generalized Veltman semantics in Agda | Mas Rovira, Jan |
oct-2020 | Cardinal Arithmetic: From Silver’s Theorem to Shelah’s PCF Theory | Gallart Rodríguez, Curial |
Documentos de la colección (Ordenados por Fecha de envío en Descendente orden): 1 de 20 de 27