Higher-order logic
From The Art and Popular Culture Encyclopedia
(Redirected from Higher order)
Related e |
Featured: |
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.
[edit]
See also
- First-order logic
- Second-order logic
- Type theory
- Higher-order grammar
- Higher-order logic programming
- Many-sorted logic
- Typed lambda calculus
- Modal logic
- Higher-order volition
- Higher-order control
- Higher order thinking skills
- Transcendence
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.