Higher-order logic

Wikidata

https://www.wikidata.org/wiki/Q1644136

OpenAlex ID

https://openalex.org/C169896238 (API record)

OpenAlex Description

form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics

OpenAlex Level [?]

3

Broader Concepts

• Description logic

Narrower Concepts

• Monadic predicate calculus
• Paraconsistent logic
• Second-order logic
• Substructural logic

Associated Authors

Add Incoming Edge

Login via ORCiD to contribute.

Add Outgoing Edge

Login via ORCiD to contribute.