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:

    “Only very slowly and late have men come to realize that unless freedom is universal it is only extended privilege.”
    —Christopher Hill (b. 1912)

    “You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.”
    —Alexander Herzen (1812–1870)