Jisho

×
高階述語論理
Links
Wikipedia definition
1. Higher-order logic​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 a 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.
Read “Higher-order logic” on English Wikipedia
Read “高階述語論理” on Japanese Wikipedia
Read “Higher-order logic” on DBpedia

Discussions

to talk about this word.