9 citations · 12 across the 2 of their papers we have counts for
1 paper · 2 filters
Marco B. Caminati
A Henkin-style proof of completeness of first-order classical logic is given with respect to a very small set (notably missing cut rule) of Genzten deduction rules for intuitionist…