Keyphrases
- natural deduction
- cut elimination
- micron cmos
- proof search
- sequent calculus
- truth table
- linear logic
- modal logic
- inference rules
- logic programming
- multi valued
- theorem prover
- formal proofs
- classical logic
- formal proof
- proof theory
- arithmetic operations
- automated theorem proving
- abductive reasoning
- real time
- nonmonotonic logics
- decision procedures
- automated reasoning
- computer programs
- neural network
- databases