From Intuitionistic Logic to Godel-Dummett Logic via Parallel Dialogue Games

摘要

Building on a version of Lorenzen's dialogue founda-tion for intuitionistic logic, we show that Gb'del-Dummett logic G can be characterized by a suitable game of commu-nicating parallel dialogues. This provides a computational interpretation of Avron's hypersequent calculus for G.