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:
“Seldom, very seldom, does complete truth belong to any human disclosure; seldom can it happen that something is not a little disguised, or a little mistaken.”
—Jane Austen (17751817)
“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 (19141953)