Showing 2025 · math.LOShow all
2 papers · 2 filters
math.LO2025
The Provably Total Set-Recursive Functions of KPl
Juan Pablo Aguilera, Anton Fernández, Joost J. Joosten
Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from- functions of KPl and related theories.
math.LO2025
Constructive Quantum Logics
Juan P. Aguilera, Guillaume Massas
Following a suggestion of Birkhoff and Von Neumann [Ann. Math. 37 (1936), 23-32], we pursue a joint study of quantum logic and intuitionistic logic. We exhibit a linear-time transl…