Some “natural” logics preserve the “constructive” nature of the existential quantifier and thus guarantee the existence of witnesses associated with existence proofs. These logics have a strong ...