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:
“There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.”
—Katharine Fullerton Gerould (1879–1944)
“Consciousness, we shall find, is reducible to relations between objects, and objects we shall find to be reducible to relations between different states of consciousness; and neither point of view is more nearly ultimate than the other.”
—T.S. (Thomas Stearns)