Switch to: References

Citations of:

Preface

Synthese 127 (1-2):1-6 (2001)

Add citations

You must login to add citations.
  1. Dialogues as a dynamic framework for logic.Helge Rückert - unknown
    Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts forward the initial thesis and tries to defend it, and the Opponent, who tries to attack the Proponent’s thesis, alternately utter argumentative moves according to certain rules. For a long time the dialogical approach had been worked out only for classical and intuitionistic logic. The seven papers of this dissertation (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Why Play Logical Games?Mathieu Marion - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 3--26.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Dialogue Games for Many-Valued Logics — an Overview.C. G. Fermüller - 2008 - Studia Logica 90 (1):43-68.
    An overview of different versions and applications of Lorenzen’s dialogue game approach to the foundations of logic, here largely restricted to the realm of manyvalued logics, is presented. Among the reviewed concepts and results are Giles’s characterization of Łukasiewicz logic and some of its generalizations to other fuzzy logics, including interval based logics, a parallel version of Lorenzen’s game for intuitionistic logic that is adequate for finite- and infinite-valued Gödel logics, and a truth comparison game for infinite-valued Gödel logic.
    Download  
     
    Export citation  
     
    Bookmark   7 citations