保罗·安德烈·梅利埃 异步游戏3是一个简单的线性逻辑模型。 （英语） Zbl 1272.03157号 Birkedal，L.（编辑），计算机科学范畴理论第十届会议论文集（CTCS 2004），丹麦哥本哈根，2004年8月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记122，171-192（2005）。 摘要：自早期以来，确定性序列游戏语义一直局限于线性逻辑的线性或极化片段。将语义扩展到完整命题线性逻辑的每一次尝试都与所谓的布拉斯问题相冲突，布拉斯问题（误导性地）表明，一类连续博弈不能同时是自对偶的和笛卡尔的。我们通过考虑（1）序列游戏固有的位置性来规避这个问题；（2） 他们承认内部立场和外部立场。我们用这种方法构建了命题线性逻辑的序列博弈模型，它包含了无辜竞技场博弈模型的两种变体：括号内的和非括号内的。关于整个系列，请参见[Zbl 1271.68022号]. 引用于7文件 MSC公司： 03楼52 线性逻辑和其他子结构逻辑的理论证明 18 C50 形式语言的范畴语义 91年43月 涉及图形的游戏 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Melliès}，电子。注释Theor。计算。科学。122、171--192（2005年；Zbl 1272.03157） 全文： 链接