Higher-order logic  

From The Art and Popular Culture Encyclopedia

(Redirected from Higher order)
Jump to: navigation, search

Related e



In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.

See also

high, order

Unless indicated otherwise, the text in this article is either based on Wikipedia article "Higher-order logic" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.

Personal tools