Game semantics for first-order logic

DOI10.2168/LMCS-6(4:3)2010MaRDI QIDQ3064167zbMATH OpenFDO

Authors 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

classical logiccontrol categoryfirst-order logicfull completenessgame semanticsintuitionistic logiclambda-calculuslambda-mu-calculusrealizabilitytype isomorphisms

Mathematics Subject Classification ID

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

Abstract: We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style extension of Parigot's lambda-mu-calculus to represent proofs of first-order classical logic. We present some relations with Krivine's classical realizability and applications to type isomorphisms.

Recommendations

• A logic of sequentiality
• Games and full completeness for multiplicative linear logic
• About effective versions of game theoretical semantics for first-order logic
• scientific article; zbMATH DE number 1241700
• A game semantics for linear logic

Cited in

(9)

• Finite games for a predicate logic without contractions
• Games in the semantics of programming languages -- an elementary introduction
• Games and bisimulations for intuitionistic first-order Kripke models
• scientific article; zbMATH DE number 1688376 (Why is no real title available?)
• 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
• Study of behaviours via visitable paths
• The true concurrency of Herbrand's theorem
• Game-theoretic semantics for non-distributive logics

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

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