Propositional logic
Sequent calculus
- sequents as axioms
e.g., ? ? ?
- rules of inference in terms of sequents
e.g.,
Left weakening ? ? ? ? / ?, ? ? ?
R? ?, ? ? ? / ? ? ? ? ?
Previous slide
Next slide
Back to first slide
View graphic version