16 citations · 32 across the 20 of their papers we have counts for
1 paper · 1 filter
Michael Beeson, Robert Veroff, Larry Wos
This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none…