This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Higher-order logic field

Higher-order logic

https://www.wikidata.org/wiki/Q1644136
Field Hierarchy
Parent
Computer science
55.7M papers
Artificial intelligence
11.4M papers
Programming language
7.3M papers
Theoretical computer science
632k papers
Description logic
19k papers
Current
Higher-order logic
2,385 papers
Child
Paraconsistent logic
1,110 papers
Substructural logic
775 papers
Second-order logic
601 papers
Łukasiewicz logic
456 papers
Monadic predicate calculus
355 papers
Trends