Resource modalities in game semantics
Resource modalities in game semantics
复制标题
游戏语义中的资源模态
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Nicolas Tabareau
中科院分区：
文献类型：
--
作者：
Paul;Nicolas Tabareau
游戏语义中的资源描述从来没有达到线性逻辑的简单性和精确性，因为一个误导性的概念：认为线性逻辑比游戏语义更原始。我们在这里主张相反的观点：游戏语义在概念上比线性逻辑更原始。从这个角度出发，我们设计了一个游戏语义中的资源分类模型，并构建了一个竞技场游戏模型，其中通常的括号概念扩展到多括号，以捕捉各种资源政策：线性，仿射和指数。
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is more primitive than game semantics. We advocate the contrary here: that game semantics is conceptually more primitive than linear logic. Starting from this revised point of view, we design a categorical model of resources in game semantics, and construct an arena game model where the usual notion of bracketing is extended to multi-bracketing in order to capture various resource policies: linear, affine and exponential.