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:

    Your views are now my own.
    Marvin Cohen, U.S. author and humorist.

    In conversation, after having taken a strong position in an argument and heard a complete refutation of his position.

    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)