Independence-friendly Logic - Extended IF Logic

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:

    “The civility which money will purchase, is rarely extended to those who have none.”
    —Charles Dickens (1812–1870)

    “The logic of the world is prior to all truth and falsehood.”
    —Ludwig Wittgenstein (1889–1951)