Opis

• Tytuł:
  Dialogue Games for Minimal Logic
• Twórca:
  Pavlova, Alexandra
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2020 Logic and Logical Philosophy
• Data:
  2020.11.10
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 30 No. 2 (2021): June; 281-309;
  Logic and Logical Philosophy; Tom 30 Nr 2 (2021): Czerwiec; 281-309;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2020.022/26997
• Temat i słowa kluczowe:
  dialogue logic;
  sequent calculi;
  minimal logic;
  Proof theory;
  game semantics;
  Logic;
  Subsystems of classical logic
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2020.022
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty