1 citations · 2 across the 8 of their papers we have counts for
1 paper · 2 filters
Borja Sierra Miranda, Thomas Studer, Lukas Zenger
Non-wellfounded proof theory results from allowing proofs of infinite height in proof theory. To guarantee that there is no vicious infinite reasoning, it is usual to add a constra…