Logic Without Arithmetical Relations
Let the successor relation, succ, be a binary relation such that is true if and only if .
Over first order logic, succ is strictly less expressive than <, which is less expressive than +, which is less expressive than bit. + and are as expressive as bit.
Read more about this topic: FO (complexity)
Famous quotes containing the words logic and/or relations:
“The usefulness of madmen is famous: they demonstrate society’s logic flagrantly carried out down to its last scrimshaw scrap.”
—Cynthia Ozick (b. 1928)
“So soon did we, wayfarers, begin to learn that man’s life is rounded with the same few facts, the same simple relations everywhere, and it is vain to travel to find it new.”
—Henry David Thoreau (1817–1862)