Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- linear logic
- logic programming
- virtual reality
- inference rules
- theorem proving
- user friendly
- modal logic
- proof search
- formal proofs
- user interaction
- computer graphics
- asynchronous circuits
- automated reasoning
- equational theories
- highly interactive
- decision procedures
- classical logic
- logical framework
- information retrieval
- theorem prover
- data analysis
- bayesian networks
- case study