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)
“I know all those people. I have friendly, social, and criminal relations with the whole lot of them.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)