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

@proceedings{citeulike:1743689, abstract = {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.}, author = {Fermuller, C. G. and Ciabattoni, A.}, booktitle = {Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on}, citeulike-article-id = {1743689}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1201405}, journal = {Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on}, keywords = {argumentation-games, computability-logic, dialogical-logic, dialogue-games, field-computing, game-logic, game-logics, hypernetworks, intuitionistic-logic, parallelization, polylogues, strategies}, pages = {188--193}, posted-at = {2007-10-09 00:12:39}, priority = {2}, title = {From intuitionistic logic to godel-dummett logic via parallel dialogue games}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1201405}, year = {2003} }

TY - CONF ID - citeulike:1743689 L3 - citeulike-article-id:1743689 N2 - 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. JF - Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on EP - 193 TI - From intuitionistic logic to godel-dummett logic via parallel dialogue games T2 - Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on SP - 188 KW - argumentation-games KW - computability-logic KW - dialogical-logic KW - dialogue-games KW - field-computing KW - game-logic KW - game-logics KW - hypernetworks KW - intuitionistic-logic KW - parallelization KW - polylogues KW - strategies AU - Fermuller, CG AU - Ciabattoni, A PY - 2003/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1201405 ER -