Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning.
Arnold BeckmannNorbert PreiningPublished in: J. Log. Comput. (2018)
Keyphrases
- natural deduction
- intuitionistic logic
- theorem prover
- cut elimination
- inference rules
- theorem proving
- automated reasoning
- sequent calculus
- proof theoretic
- linear time temporal logic
- logical inference
- legal reasoning
- logical framework
- proof procedure
- linear logic
- wide class
- reasoning tasks
- default reasoning
- training set