Dialogue interpretation of the classical predicate calculus

DOI10.1070/IM1997V061N01ABEH000112MaRDI QIDQ4368450zbMATH OpenOpenAlexFDO

Authors Vadim Yankov

Publication date 2 June 1998

Published in Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/im1997v061n01abeh000112

zbMATH Keywords

game-theoretic semanticsbar inductionno-counter-example interpretation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10)

Recommendations

• A game semantics for linear logic
• Automated Reasoning with Analytic Tableaux and Related Methods
• DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY

Cited in

(8)

• DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY
• First-order dialogical games and tableaux
• Infinitary classical logic: recursive equations and interactive semantics
• scientific article; zbMATH DE number 5129601 (Why is no real title available?)
• Material dialogues for first-order logic in constructive type theory
• scientific article; zbMATH DE number 1795231 (Why is no real title available?)
• BDI logic applied to a dialogical interpretation of human–machine cooperative dialogues
• Without E

This page was built for publication: Dialogue interpretation of the classical predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4368450)