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 |
| Jul-2024 | Epimorphism Surjectivity in Logic and Algebra | Kurtzhals, Miriam |
| Jul-2024 | Rational and Delta expansions of the Nilpotent Minimum Logic | Sempere Camín, Paula |
Discover
Subject