Game Semantics in String Diagrams
Game Semantics in String Diagrams
复制标题
字符串图中的游戏语义
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Paul
中科院分区：
文献类型：
--
作者：
Paul
对话范畴是一个具有张量否定概念的对称幺半群范畴。我们建立了自由对话范畴是一个对话游戏和完全无辜策略的范畴。这种联系澄清了对话游戏的代数和逻辑性质，以及它们与线性延续的内在联系。的声明的证明是基于一个代数表示的对话类别的启发结理论，和一个因式分解定理建立重写技术。
A dialogue category is a symmetric monoidal category equipped with a notion of tensorial negation. We establish that the free dialogue category is a category of dialogue games and total innocent strategies. The connection clarifies the algebraic and logical nature of dialogue games, and their intrinsic connection to linear continuations. The proof of the statement is based on an algebraic presentation of dialogue categories inspired by knot theory, and a factorization theorem established by rewriting techniques.