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:
“A complete woman is probably not a very admirable creature. She is manipulative, uses other people to get her own way, and works within whatever system she is in.”
—Anita Brookner (b. 1938)
“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)