3 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
Graham E. Leigh
We present a cut elimination argument that witnesses the conservativity of the compositional axioms for truth (without the extended induction axiom) over any theory interpreting a…