A logic of interactive proofs.
David LehnherrZoran OgnjanovicThomas StuderPublished in: J. Log. Comput. (2022)
Keyphrases
- natural deduction
- cut elimination
- logic programming
- classical logic
- virtual reality
- interactive learning
- theorem prover
- theorem proving
- automated theorem proving
- linear logic
- interactive video
- highly interactive
- set theory
- modal logic
- computer algebra
- computer graphics
- sequent calculus
- learning algorithm
- proof theory
- formal proof
- formal proofs
- defeasible logic
- epistemic logic
- predicate logic
- interactive systems
- database
- user friendly
- case study
- data mining
- neural network
- real time