Keyphrases
- higher order
- logic programming
- high order
- automated theorem proving
- modal logic
- predicate logic
- multi valued
- sound and complete axiomatization
- logic synthesis
- proof theory
- function symbols
- digital circuits
- logical framework
- data sets
- theorem proving
- databases
- classical logic
- computational properties
- truth values
- programming language
- case study
- information retrieval
- neural network