Translations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs.
Shawn StandeferPublished in: Stud Logica (2019)
Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- linear time temporal logic
- inference rules
- theorem prover
- theorem proving
- intuitionistic logic
- proof theoretic
- linear logic
- machine translation
- proof search
- wide class
- horn clauses
- machine learning
- modal logic
- first order logic
- hidden markov models
- artificial intelligence