On Game Semantics of the Affine and Intuitionistic Logics

DOI10.1007/978-3-540-69937-8_4zbMath1155.03307OpenAlexW2120539444MaRDI QIDQ3511445

Ilya Mezhirov, Nikolai K. Vereshchagin

Publication date: 10 July 2008

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69937-8_4

Mathematics Subject Classification ID

Logic in computer science (03B70) 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)

Related Items (2)

Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ On abstract resource semantics and computability logic

This page was built for publication: On Game Semantics of the Affine and Intuitionistic Logics