Normalized natural deduction systems for some relevant logics I: The logic DW.
Ross T. BradyPublished in: J. Symb. Log. (2006)
Keyphrases
- natural deduction
- intuitionistic logic
- inference rules
- theorem prover
- classical logic
- modal logic
- nonmonotonic logics
- asynchronous circuits
- epistemic logic
- linear logic
- proof theory
- sequent calculus
- propositional dynamic logic
- propositional calculus
- order sorted
- machine learning
- linear time temporal logic
- proof theoretic
- logic programming