• DocumentCode
    3478326
  • 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
  • fYear
    2003
  • fDate
    16-19 May 2003
  • Firstpage
    188
  • Lastpage
    193
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
  • ISSN
    0195-623X
  • Print_ISBN
    0-7695-1918-0
  • Type

    conf

  • DOI
    10.1109/ISMVL.2003.1201405
  • Filename
    1201405
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3478326