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:

    “We have lost the art of living; and in the most important science of all, the science of daily life, the science of behaviour, we are complete ignoramuses. We have psychology instead.”
    —D.H. (David Herbert)

    “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)