Keyphrases
- natural deduction
- higher order logic
- input output
- theorem prover
- higher order
- logic programming
- inference rules
- classical logic
- multi valued
- automated reasoning
- proof theory
- file system
- logical framework
- theorem proving
- formal methods
- modal logic
- query processing
- artificial intelligence
- neural network
- storage systems
- digital circuits
- predicate logic
- main memory