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:
“Histories make men wise; poets witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.”
—Francis Bacon (1561–1626)
“Think of the many different relations of form and content. E.g., the many pairs of trousers and what’s in them.”
—Mason Cooley (b. 1927)