if logic is not closed under classical negation. the boolean closure of if logic is known as extended if logic and it is equivalent to a proper fragment of formula_22 (figueira et al. 2011). hintikka (1996, p. 196) claimed that "virtually all of classical mathematics can in principle be done in extended if first-order logic".