Search
Add filters:
Use filters to refine the search results.
Results 1-8 of 8 (Search time: 0.018 seconds).
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 2022 | Stationary Reflection on Pₖ (λ) | Torres Pachón, Martha Catalina |
| 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 |
Discover
Subject