Logics for Dialogue
暂无分享,去创建一个
[1] Andreas Blass,et al. Some Semantical Aspects of Linear Logic , 1997, Log. J. IGPL.
[2] Walter Felscher. Dialogues as a Foundation for Intuitionistic Logic , 2002 .
[3] J. Hintikka,et al. The game of language : studies in game-theoretical semantics and its applications , 1983 .
[4] AHTI PIETARINEN,et al. MOST EVEN BUDGED YET: SOME CASES FOR GAME-THEORETIC SEMANTICS IN NATURAL LANGUAGE , 2001 .
[5] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[6] Andreas Blass. Is Game Semantics Necessary? , 1993, CSL.
[7] Shahid Rahman. On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics , 2001 .
[8] Shahid Rahman,et al. Dialogical Connexive Logic , 2001, Synthese.
[9] Erik C. W. Krabbe,et al. The Problem Of Retraction In Critical Discussion , 2001, Synthese.
[10] J. Hurford. The neural basis of predicate-argument structure. , 2003, The Behavioral and brain sciences.
[11] J. Benthem,et al. Higher-Order Logic , 2001 .
[12] Christian Retoré,et al. Pomset Logic: A Non-commutative Extension of Classical Linear Logic , 1997, TLCA.
[13] Andreas Blass,et al. A Game Semantics for Linear Logic , 1992, Ann. Pure Appl. Log..
[14] J. Hintikka,et al. Game-Theoretical Semantics , 1997 .
[15] Radha Jagadeesan,et al. Games and Full Completeness for Multiplicative Linear Logic , 1994, J. Symb. Log..