迪迪埃·加米歇；多米尼克·拉切·温德林（Dominique Larchey-Wendling）；约瑟夫·维达尔·罗塞特 关于证明和游戏之间关系的一些评论。 （英语） Zbl 1244.03155号 Bour，Pierre Edouard（编辑）等，《建筑》。在格哈德·海因茨曼60岁生日之际为他举行节日庆祝活动。伦敦：学院出版物（ISBN 978-1-84890-016-5/pbk）。悼念14335-353（2010年）。 摘要：本文旨在研究给定逻辑中证明系统和游戏之间的关系，并分析游戏公式作为建模证明搜索以及理解逻辑之间关系的替代语义框架的兴趣和限制。从这个角度出发，我们首先在一个抽象的层次上研究证明和博弈，这个抽象层次既不涉及特定的逻辑，也不侧重于它们之间的关系。然后，为了举例说明这种分析，我们描述了直觉逻辑的对话游戏，并强调了该游戏中证明和获胜策略之间的充分性。最后，我们考虑如何将游戏视为提供另一种证明搜索公式，并强调游戏规则中逻辑规则和搜索策略的可能混合。我们总结了游戏语义作为研究逻辑的工具的优点和局限性，这些逻辑的有效性以及它们之间的一些关系。关于整个系列，请参见[Zbl 1203.00020号]. 引用于1文件 MSC公司： 03财年03 一般证明理论（包括证明理论语义） 91A80型 博弈论的应用 软件：带 PDF格式BibTeX公司 XML格式引用 \textit{D.Galmiche}等人，《致敬》14，335--353（2010；Zbl 1244.03155）