14 citations · 25 across the 6 of their papers we have counts for
1 paper · 2 filters
Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira
In proof theory the notion of canonical proof is rather basic, and it is usually taken for granted that a canonical proof of a sentence must be unique up to certain minor syntactic…