Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- proof search
- modal logic
- classical logic
- inference rules
- theorem proving
- multi valued
- computational properties
- theorem prover
- formal proofs
- automated reasoning
- decision procedures
- logic programming
- real time
- proof theory
- linear logic
- deontic logic
- predicate logic
- equational theories
- digital circuits
- sound and complete axiomatization
- valued logic
- abductive reasoning
- truth values
- computer programs
- artificial intelligence
- neural network