胡洪德;安德烈·乔亚尔 类别的一致性完成及其丰富的柔软性。 (英语) Zbl 0911.68111号 Brookes,S.(编辑)等人,《编程语义的数学基础》。1997年3月23日至26日,美国宾夕法尼亚州匹兹堡卡内基梅隆大学第十三届年会论文集,MFPS。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。第6页,第17页(1997年)。 小结:我们总结了一些关于范畴连贯完成的最新结果。我们的目标是证明Girard的相干空间和自由双完备范畴之间有着密切的联系。我们将相干空间推广到具有任意范畴的(mathbf C)值相干空间,称为(mathbf-C)的相干完成,并研究了其丰富的软性。我们证明了(mathbf C)的相干补全是单体闭的,或者当(mathbf-C)为单体闭时是(*)-自治的。对相干补全中线性逻辑连接词的解释提供了一种使用自由双补全来捕获线性逻辑语义的方法。有关整个系列,请参见[Zbl 0903.00057号]. 引用于4文件 MSC公司: 68问题55 计算理论中的语义学 03B05号 经典命题逻辑 关键词:Girard相干空间;自由双完全范畴 PDF格式BibTeX公司 XML格式引用 \textit{H.Hu}和\textit{A.Joyal},in:编程语义的数学基础。1997年3月23日至26日,美国宾夕法尼亚州匹兹堡卡内基梅隆大学第十三届年会论文集,MFPS。阿姆斯特丹:爱思唯尔。17页(1997年;Zbl 0911.68111) 全文: 链接