Connecting Sequent Calculi with Lorenzen-Style Dialogue Games

DOI10.1007/978-3-030-65824-3_8zbMath1490.03014OpenAlexW3194849432MaRDI QIDQ5024728

Christian G. Fermüller

Publication date: 27 January 2022

Published in: Paul Lorenzen -- Mathematician and Logician (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-65824-3_8

zbMATH Keywords

game theoryconstructive mathematicsdialogue gamesnonclassical logicsintuitionistic linear logicinformation extraction gamesresource consciousness

Mathematics Subject Classification ID

2-person games (91A05) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Focusing and polarization in linear, intuitionistic, and classical logics
• Giles's game and the proof theory of Łukasiewicz logic
• Dialogues, strategies, and intuitionistic provability
• A game semantics for linear logic
• Substructural logics: a primer
• Interpreting sequent calculi as client-server games
• Untersuchungen über das logische Schliessen. II
• Focussing and proof construction
• A game model for proofs with costs
• Equilibrium semantics for IF logic and many-valued connectives
• On subexponentials, focusing and modalities in concurrent systems
• The Mathematics of Sentence Structure
• Games and full completeness for multiplicative linear logic
• Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
• Automated Reasoning with Analytic Tableaux and Related Methods
• Linking Game-Theoretical Approaches with Constructive Type Theory
• Basic objectives of dialogue logic in historical perspective