Papers I've Read
Generalized definitional reflection and the inversion principle
Generalized definitional reflection and the inversion principle
... Logica Universalis Generalized Definitional Reflection and the Inversion Principle
Peter Schroeder-Heister Abstract. ... 1. Definitional reflection ...
Like (1)