From intuitionistic logic to Godel-Dummett logic via parallel dialogue games

被引：4
|
作者：
Fermüller, CG [1 ]
Ciabattoni, A [1 ]
机构：
[1] Vienna Univ Technol, A-1060 Vienna, Austria
来源：
33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/ISMVL.2003.1201405
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：188 / 193
页数：6
相关论文
共 50 条
12345