@inproceedings{07c9ec70f79d4caeb1246920d9bb9e2a,
title = "Lorenzen-Style Strategies as Proof-Search Strategies",
abstract = "Dialogical logic, originated in the work of Lorenzen and his student Lorenz, is an approach to logic in which the validity of a certain formula is defined as the existence of a winning strategy for a particular kind of turn-based two-players games. This paper studies the relationship between winning strategies for Lorenzen-style dialogical games and sequent calculus derivations. We define three different classes of dialogical logic games for the implicational fragment of intuitionistic logic, showing that winning strategies for such games naturally correspond to classes of derivations defined by uniformly restraining the rules of the sequent calculus.",
keywords = "Dialogical Logic, Game Semantics, Sequent Calculus",
author = "Matteo Acclavio and Davide Catta",
note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; Proceedings of the 20th European Conference on Multi-Agent Systems, EUMAS 2023 ; Conference date: 14-09-2023 Through 15-09-2023",
year = "2023",
doi = "10.1007/978-3-031-43264-4_10",
language = "English",
isbn = "9783031432637",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science+Business Media",
pages = "150--166",
editor = "Vadim Malvone and Aniello Murano",
booktitle = "Multi-Agent Systems",
address = "United States",
}