@Article{         10.2307/44280692,
  Author        = "Urzyczyn, Pawe{{\l}}",
  Abstract      = "We investigate a simple game paradigm for intuitionistic logic, inspired by Wajsberg's implicit inhabitation algorithm and Beth tableaux. The principal idea is that one player, ∃ros, is trying to construct a proof in normal form (positions in the game represent his progress in proof construction) while his opponent, ∀phrodite, attempts to build a counter-model (positions or plays can be seen as states in a Kripke model). The determinacy of the game (a proof-construction and a model-construction game in one) implies therefore both completeness and semantic cut-elimination.",
  date-added    = "2020-09-09 09:52:17 +0200",
  date-modified = "2020-09-09 09:52:17 +0200",
  ISSN          = "00393215, 15728730",
  Journal       = "Studia Logica: An International Journal for Symbolic Logic",
  Number        = "5",
  Pages         = "957--1001",
  Publisher     = "Springer",
  Title         = "Intuitionistic Games: Determinacy, Completeness, and Normalization",
  URL           = "http://www.jstor.org/stable/44280692",
  Volume        = "104",
  Year          = "2016",
  bdsk-url-1    = "http://www.jstor.org/stable/44280692",
  File          = "Intuitionistic Games- Determinacy, Completeness, and Normalization - Urzyczyn2016\_Article\_IntuitionisticGamesDeterminacy - a - z.pdf"
}

@Article{ 10.2307/44280692, Author = "Urzyczyn, Pawe{{\l}}", Abstract = "We investigate a simple game paradigm for intuitionistic logic, inspired by Wajsberg's implicit inhabitation algorithm and Beth tableaux. The principal idea is that one player, ∃ros, is trying to construct a proof in normal form (positions in the game represent his progress in proof construction) while his opponent, ∀phrodite, attempts to build a counter-model (positions or plays can be seen as states in a Kripke model). The determinacy of the game (a proof-construction and a model-construction game in one) implies therefore both completeness and semantic cut-elimination.", date-added = "2020-09-09 09:52:17 +0200", date-modified = "2020-09-09 09:52:17 +0200", ISSN = "00393215, 15728730", Journal = "Studia Logica: An International Journal for Symbolic Logic", Number = "5", Pages = "957--1001", Publisher = "Springer", Title = "Intuitionistic Games: Determinacy, Completeness, and Normalization", URL = "http://www.jstor.org/stable/44280692", Volume = "104", Year = "2016", bdsk-url-1 = "http://www.jstor.org/stable/44280692", File = "Intuitionistic Games- Determinacy, Completeness, and Normalization - Urzyczyn2016_Article_IntuitionisticGamesDeterminacy - a - z.pdf" }