Keyphrases
- natural deduction
- higher order logic
- modal logic
- higher order
- theorem prover
- logic programming
- inference rules
- automated reasoning
- multi valued
- logical framework
- conditional logic
- defeasible logic
- proof theory
- truth values
- sound and complete axiomatization
- asynchronous circuits
- data sets
- binary decision diagrams
- theorem proving
- logic programs
- image sequences
- case study
- website