Proof theory in classical logic

Axiomatic proof theory


Natural deduction

Sequent calculus

Previous slide

Next slide

Back to first slide

View graphic version