×
罗宾·科基特;路易吉·桑托卡纳莱

关于\（｛\ Sigma\Pi｝\）-范畴的单词问题，以及双向通信的性质（扩展摘要）。 （英语） Zbl 1257.03070号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771194-208（2009）。
摘要：本文给出了有限积和余积的初始范畴中平行箭头相等的一个可行决策过程。特别是，该算法处理“加法单位”，并证明这些单位的存在所带来的复杂性可以有效地管理。
这个问题与确定双向信道上通信的（有限）进程之间的等效性问题直接相关。
关于整个系列，请参见[Zbl 1175.68011号]。

引用于2文件

MSC公司：

03D40号 可计算性和递归理论中的单词问题等
18 C50 形式语言的范畴语义
18日第15天 闭范畴（闭单体和笛卡尔闭范畴等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

\（\Sigma\Pi\）-类别;自流分类;单词问题;双向通信;博弈语义;证明理论
PDF格式BibTeX公司 XML格式引用
\textit{R.Cockett}和\textit{L.Santocanale}，莱克特。注释计算。科学。5771、194--208（2009年；Zbl 1257.03070）
全文： 内政部

参考文献：

[1] Lambek，J.：演绎系统和类别。句法演算和剩余范畴。数学。系统理论2，287–318（1968）·Zbl 0176.28901号 ·doi:10.1007/BF01703261
[2] Došen，K.：削减类别中的淘汰。逻辑趋势——Studia Logica图书馆，第6卷。Kluwer学术出版社，Dordrecht（1999）·doi:10.1007/978-94-017-1207-1
[3] Cockett，J.R.B.，Seely，R.A.G.：有限和积逻辑。理论应用。类别。8、63–99（2001）（电子版）·兹伯利0969.03071
[4] Hu，H.，Joyal，A.：类别的一致性完成。理论。计算。科学。227（1-2），153–184（1999），线性逻辑，I（东京，1996）·Zbl 0974.03052号 ·doi:10.1016/S0304-3975（99）00051-1
[5] Hughes，D.J.D.：非空有限乘积和和的cannonic图形语法。斯坦福大学技术报告（2002年12月），http://boole.stanford.edu/多米尼克/论文
[6] Došen，K.，Petrić，Z.：重温了Bicartesian连贯性。收录：Ognjanovic，Z.（编辑）《计算机科学中的逻辑》，Zbornik Radova，第12卷（2009年），arXiv:0711.4961·Zbl 1351.18001号
[7] Hughes，D.J.D.，van Glabbeek，R.J.：无单位乘加线性逻辑的证明网（扩展抽象）。收录于：LICS，第1-10页。IEEE计算机协会，洛斯阿拉米托斯（2003）
[8] Hu，H.：可压缩相干空间和极大映射。选举人。注释Theor。计算。科学。 20 (1999) ·Zbl 0935.18001号
[9] 乔亚尔：自由格子，交流和金钱游戏。摘自：《逻辑与科学方法》（Florence，1995）。合成库。，第259卷，第29-68页。Kluwer学院。Dordrecht出版社（1997年）·Zbl 0897.90203号 ·doi:10.1007/978-94-017-0487-83
[10] Santocanale，L.：自由{\（\mu\）}-格。J.纯应用。代数168（2-3），227–264（2002），范畴理论1999（Coimbra）·Zbl 0990.06004号 ·doi:10.1016/S0022-4049（01）00098-6
[11] 布拉斯：线性逻辑的游戏语义。Ann.纯粹应用。逻辑56（1-3），183-220（1992）·Zbl 0763.03008号 ·doi:10.1016/0168-0072（92）90073-9
[12] Abramsky，S.，Jagadeesan，R.：乘法线性逻辑的游戏和完全完备性。西蒙的J。逻辑59（2），543–574（1994）·Zbl 0822.03007号 ·doi:10.2307/2275407
[13] Cockett，J.R.B.，Pastro，C.A.：乘法加线性逻辑语言。选举人。注释Theor。计算。科学。 122, 23–65 (2005) ·Zbl 1272.03155号 ·doi:10.1016/j.entcs.2004.06.049
[14] Cockett，J.R.B.，Pastro，C.A.：消息传递的逻辑。计算机程序设计科学74（8），498–533（2009）·Zbl 1175.68105号 ·doi:10.1016/j.scico.2007.11.005
[15] 麦克·莱恩，S.：《职业数学家的分类》，第二版。数学研究生教材，第5卷。施普林格，纽约（1998年）·Zbl 0906.18001号
[16] Joyal，A.：免费双完整类别。C.R.数学。学术代表。科学。加拿大17（5），219–224（1995）·Zbl 0847.18001号
[17] Joyal，A.：丰富类别的自由双补足。C.R.数学。学术代表。科学。加拿大17（5），213-218（1995）·Zbl 0847.18002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。