Title :
From intuitionistic logic to godel-dummett logic via parallel dialogue games
Author :
Fermüller, Christian G. ; Ciabattoni, Agata
Author_Institution :
Technische Univ. Wien, Austria
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.
Keywords :
fuzzy logic; multivalued logic; theorem proving; Avron hypersequent calculus; Godel-Dummett logic; Lorenzen dialogue foundation; computational interpretation; intuitionistic logic; parallel dialogue games; Algebra; Arithmetic; Calculus; Computer science; Context; Fuzzy logic; Information analysis; Linearity; Logic functions; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
Print_ISBN :
0-7695-1918-0
DOI :
10.1109/ISMVL.2003.1201405
