Infinitary Logic - Complete Infinitary Logics

Complete Infinitary Logics

Two infinitary logics stand out in their completeness. These are and . The former is standard finitary first-order logic and the latter is an infinitary logic that only allows statements of countable size.

is also strongly complete, compact and strongly compact.

Read more about this topic:  Infinitary Logic

Famous quotes containing the words complete and/or logics:

    “Let’s holler and ask him if he won’t prescribe
    For all humanity a complete rest
    From all this wagery. But what’s the use
    Of asking any sympathy of him?
    That class of people don’t know what work is....”
    —Robert Frost (1874–1963)

    “When logics die,
    The secret of the soil grows through the eye,
    And blood jumps in the sun;
    Above the waste allotments the dawn halts.”
    —Dylan Thomas (1914–1953)