TY - JOUR AU - Pavlova, Alexandra PY - 2020/11/10 Y2 - 2024/03/28 TI - Dialogue Games for Minimal Logic JF - Logic and Logical Philosophy JA - LLP VL - 30 IS - 2 SE - Articles DO - 10.12775/LLP.2020.022 UR - https://apcz.umk.pl/LLP/article/view/LLP.2020.022 SP - 281-309 AB - <div><p class="Standard">In this paper, we define a class of dialogue games for Johansson’s minimal logic and prove that it corresponds to the validity of minimal logic. Many authors have stated similar results for intuitionistic and classical logic either with or without actually proving the correspondence. Rahman, Clerbout and Keiff [17] have already specified dialogues for minimal logic; however, they transformed it into Fitch-style natural deduction only. We propose a different specification for minimal logic with the proof of correspondence between the existence of winning strategies for the Proponent in this class of games and the sequent calculus for minimal logic.</p></div> ER -