Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 27
Issue Date | Title | Author(s) |
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 |
Aug-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 |
Aug-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 |
Jan-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 |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 27