Dialogues, strategies, and intuitionistic provability

DOI10.1016/0168-0072(85)90016-8zbMath0571.03029OpenAlexW2002823922MaRDI QIDQ1061740

Walter Felscher

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

zbMATH Keywords

natural deductionintuitionistic logicdialogue gameswinning strategyGentzen consecution calculusirreducible normal form

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (12)

Game Semantics and the Manifestation Thesis ⋮ Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus ⋮ A dialogical route to logical pluralism ⋮ Material dialogues for first-order logic in constructive type theory ⋮ First-order dialogical games and tableaux ⋮ A curious dialogical logic and its composition problem ⋮ Dialogue games for many-valued logics -- an overview ⋮ Dialog ⋮ The logic of tasks ⋮ Dialogue Games for Minimal Logic ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games

Cites Work

• Remarks on the completeness of logical systems relative to the validity- concepts of P. Lorenzen and K. Lorenz
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dialogues, strategies, and intuitionistic provability