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:
“I want relations which are not purely personal, based on purely personal qualities; but relations based upon some unanimous accord in truth or belief, and a harmony of purpose, rather than of personality. I am weary of personality.... Let us be easy and impersonal, not forever fingering over our own souls, and the souls of our acquaintances, but trying to create a new life, a new common life, a new complete tree of life from the roots that are within us.”
—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)