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 (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".
Read more about this topic: Independence-friendly Logic
Famous quotes containing the words extended and/or logic:
“Whenever there are in any country uncultivated lands and unemployed poor, it is clear that the laws of property have been so far extended as to violate natural right. The earth is given as a common stock for man to labor and live on.... The small landowners are the most precious part of a state.”
—Thomas Jefferson (1743–1826)
“There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.”
—Katharine Fullerton Gerould (1879–1944)