Propositional logic
The proof theory of propositional logic comes in several styles:
- Axiomatic proof theory
- Natural deduction
- Sequent calculus
Previous slide
Next slide
Back to first slide
View graphic version