Game semantics for first-order logic

DOI10.2168/LMCS-6(4:3)2010zbMath1211.03016arXiv1009.4400MaRDI QIDQ3064167

Olivier Laurent

Publication date: 20 December 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.4400

zbMATH Keywords

first-order logicrealizabilityintuitionistic logicclassical logicgame semanticslambda-calculusfull completenesscontrol categorytype isomorphismslambda-mu-calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects ⋮ Imperative programs as proofs via game semantics ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Game semantics for first-order logic