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 salvationin the endwithout taking thought; without mastery of logic and application of logic to human experience.”
—Katharine Fullerton Gerould (18791944)
“She has problems with separation; he has trouble with unityproblems that make themselves felt in our relationships with our children just as they do in our relations with each other. She pulls for connection; he pushes for separateness. She tends to feel shut out; he tends to feel overwhelmed and intruded upon. Its one of the reasons why she turns so eagerly to childrenespecially when theyre very young.”
—Lillian Breslow Rubin (20th century)