Natural Deduction for Post's Logics and their Duals.
Yaroslav I. PetrukhinPublished in: Logica Universalis (2018)
Keyphrases
- natural deduction
- inference rules
- intuitionistic logic
- theorem prover
- modal logic
- theorem proving
- cut elimination
- sequent calculus
- linear logic
- classical logic
- first order logic
- expressive power
- logical framework
- decision procedures
- conditional probabilities
- proof theoretic
- propositional dynamic logic
- automated reasoning
- semi supervised
- normal form
- sufficient conditions
- general purpose