Dialogues
We have seen that dialogues and winning strategies were both used as semantics (e.g., by Hintikka) and as proof theory (e.g., by Lorenzen and Lorenz)
So what is the difference between a semantics and a proof theory?
Previous slide
Next slide
Back to first slide
View graphic version