18 citations · 21 across the 4 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…