1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Sandro Skansi
In this paper we present a constructive proof of cut elimination for a system of full second order logic with the structural rules absorbed and using sets instead of sequences. The…