higher-order logic (Q1644136)
Jump to navigation
Jump to search
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics
- HOL
- higher order simple predicate logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | higher-order logic |
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics |
|
Statements
Identifiers
Sitelinks
Wikipedia(13 entries)
- cswiki Predikátová logika vyššího řádu
- dewiki Logik höherer Stufe
- elwiki Λογική ανώτερου βαθμού
- enwiki Higher-order logic
- eowiki Logiko de supera ordo
- eswiki Lógica de orden superior
- frwiki Logique d'ordre supérieur
- itwiki Logica di ordine superiore
- jawiki 高階述語論理
- kowiki 고차 논리
- ptwiki Lógica de ordem superior
- ruwiki Логика высшего порядка
- zhwiki 高阶逻辑