Connecting Sequent Calculi with Lorenzen-Style Dialogue Games
DOI10.1007/978-3-030-65824-3_8zbMath1490.03014OpenAlexW3194849432MaRDI QIDQ5024728
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
game theoryconstructive mathematicsdialogue gamesnonclassical logicsintuitionistic linear logicinformation extraction gamesresource consciousness
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
