Dialogue interpretation of the classical predicate calculus

DOI10.1070/IM1997V061N01ABEH000112zbMATH Open0889.03008OpenAlexW1985857905MaRDI QIDQ4368450

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

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

Related Items (2)

BDI logic applied to a dialogical interpretation of human–machine cooperative dialogues ⋮ Title not available (Why is that?)

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)