information about Higher-order logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 54.8M papers | Artificial intelligence 11.2M papers | Programming language 7.2M papers | Theoretical computer science 615k papers |
Description logic 18.8k papers | |||
| Current | |||
Higher-order logic 2,370 papers | |||
| Child | |||
Paraconsistent logic 1,108 papers | Substructural logic 774 papers | Second-order logic 598 papers | Łukasiewicz logic 458 papers |
Monadic predicate calculus 354 papers | |||
Trends
Notes
History