Dialogues, strategies, and intuitionistic provability
From MaRDI portal
Publication:1061740
DOI10.1016/0168-0072(85)90016-8zbMath0571.03029MaRDI QIDQ1061740
Publication date: 1985
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(85)90016-8
natural deduction; intuitionistic logic; dialogue games; winning strategy; Gentzen consecution calculus; irreducible normal form
03F05: Cut-elimination and normal-form theorems
03F50: Metamathematics of constructive systems
03F55: Intuitionistic mathematics
Related Items
Dialogue Games for Minimal Logic, Connecting Sequent Calculi with Lorenzen-Style Dialogue Games, Dialog, A dialogical route to logical pluralism, Material dialogues for first-order logic in constructive type theory, Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus, First-order dialogical games and tableaux, A curious dialogical logic and its composition problem, Dialogue games for many-valued logics -- an overview, The logic of tasks, Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution, Game Semantics and the Manifestation Thesis
Cites Work