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:
“The complete life, the perfect pattern, includes old age as well as youth and maturity. The beauty of the morning and the radiance of noon are good, but it would be a very silly person who drew the curtains and turned on the light in order to shut out the tranquillity of the evening. Old age has its pleasures, which, though different, are not less than the pleasures of youth.”
—W. Somerset Maugham (1874–1965)
“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)