The Undecidability of Unification in Third Order Logic
Gérard P. HuetPublished in: Inf. Control. (1973)
Keyphrases
- logic programming
- automated theorem proving
- classical logic
- description logics
- proof theory
- predicate logic
- multi valued
- artificial intelligence
- logical framework
- theorem proving
- modal logic
- database systems
- sound and complete axiomatization
- data sets
- natural deduction
- knowledge base
- asynchronous circuits
- probabilistic planning
- epistemic logic
- truth values
- temporal logic
- computational properties
- special case
- knowledge representation
- higher order
- programming language
- answer set programming
- belief revision