Lorenzen-Style Strategies as Proof-Search Strategies

Matteo Acclavio; Davide Catta

doi:10.1007/978-3-031-43264-4_10

Lorenzen-Style Strategies as Proof-Search Strategies

Matteo Acclavio^*, Davide Catta

^*Kontaktforfatter

University of Naples Federico II

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

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.

Originalsprog	Engelsk
Titel	Multi-Agent Systems
Redaktører	Vadim Malvone, Aniello Murano
Forlag	Springer Science+Business Media
Publikationsdato	2023
Sider	150-166
ISBN (Trykt)	9783031432637
DOI	https://doi.org/10.1007/978-3-031-43264-4_10
Status	Udgivet - 2023
Begivenhed	Proceedings of the 20th European Conference on Multi-Agent Systems, EUMAS 2023 - Naples, Italien Varighed: 14. sep. 2023 → 15. sep. 2023

Konference

Konference	Proceedings of the 20th European Conference on Multi-Agent Systems, EUMAS 2023
Land/Område	Italien
By	Naples
Periode	14/09/2023 → 15/09/2023

Navn	Lecture Notes in Computer Science
Vol/bind	14282
ISSN	0302-9743

Bibliografisk note

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Dokumenter og links

10.1007/978-3-031-43264-4_10

Citationsformater

@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",

}

Acclavio, M & Catta, D 2023, Lorenzen-Style Strategies as Proof-Search Strategies. i V Malvone & A Murano (red), Multi-Agent Systems . Springer Science+Business Media, Lecture Notes in Computer Science, bind 14282, s. 150-166, Proceedings of the 20th European Conference on Multi-Agent Systems, EUMAS 2023, Naples, Italien, 14/09/2023. https://doi.org/10.1007/978-3-031-43264-4_10

Lorenzen-Style Strategies as Proof-Search Strategies. / Acclavio, Matteo; Catta, Davide.
Multi-Agent Systems . red. / Vadim Malvone; Aniello Murano. Springer Science+Business Media, 2023. s. 150-166 (Lecture Notes in Computer Science, Bind 14282).

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Lorenzen-Style Strategies as Proof-Search Strategies

AU - Acclavio, Matteo

AU - Catta, Davide

PY - 2023

Y1 - 2023

N2 - 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.

AB - 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.

KW - Dialogical Logic

KW - Game Semantics

KW - Sequent Calculus

U2 - 10.1007/978-3-031-43264-4_10

DO - 10.1007/978-3-031-43264-4_10

M3 - Article in proceedings

AN - SCOPUS:85171996075

SN - 9783031432637

T3 - Lecture Notes in Computer Science

SP - 150

EP - 166

BT - Multi-Agent Systems

A2 - Malvone, Vadim

A2 - Murano, Aniello

PB - Springer Science+Business Media

T2 - Proceedings of the 20th European Conference on Multi-Agent Systems, EUMAS 2023

Y2 - 14 September 2023 through 15 September 2023