Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2020 | Cardinals Beyond Choice and the HOD-Dichotomy | Spoerl, John |
2023 | Unification in intuitionistic logic | Cristancho S., Sebastián R. |
Feb-2020 | An Algebraic Study of Admissible Rules | Mastrokostas, Zafeiris |
Oct-2020 | Inconsistency lemmas: an algebraic approach | Herrera Hernández, Jorge |
2020 | Proof theory of the calculus of relations | Gentili, Stefano |
2018 | When the laws of logic meet the logic of laws | del Castillo Tierz, Jorge del |
2024 | On interval logics and stopwatches in model-checking real-time systems | López Chamosa, Marina |
2022 | Stationary Reflection on Pₖ (λ) | Torres Pachón, Martha Catalina |
Sep-2024 | Multimodal logics for musical grammars | Asensi Arranz, Roger |
Jul-2024 | Epimorphism Surjectivity in Logic and Algebra | Kurtzhals, Miriam |
Discover
Subject