From intuitionistic logic to godel-dummett logic via parallel dialogue games

摘要

Building on a version of Lorenzen's dialogue foundation for intuitionistic logic, we show that Godel-Dummett logic G can be characterized by a suitable game of communicating parallel dialogues. This provides a computational interpretation of Avron's hypersequent calculus for G.