6 citations · 10 across the 7 of their papers we have counts for
1 paper · 1 filter
Richard Bonichon, Olivier Hermant
We prove the syntactic soundness of classical tableaux with free variables and on-the-fly Skolemization. Soundness proofs are usually built from semantic arguments, and this is to…