Interpreting sequent calculi as client-server games

DOI10.1007/978-3-319-66902-1_6zbMath1496.03127OpenAlexW2752666563MaRDI QIDQ1694453

Christian G. Fermüller, Timo Lang

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_6

zbMATH Keywords

linear logicgame semanticsresource interpretation

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Connecting Sequent Calculi with Lorenzen-Style Dialogue Games

This page was built for publication: Interpreting sequent calculi as client-server games