Kailar逻辑的串空间语义

摘要：

Kailar在1996年发表了"电子商务协议中的可追究性"一文,使得电子商务协议的形式化分析得到了重大的发展.但是Kailar逻辑的语义一直没有人提出来过,而逻辑的语义对于逻辑的正确性是至关重要的.本文的主要工作就是给出了Kailar逻辑的串空间语义,从语义的角度证明了Kailar逻辑的规则的正确性.

关键词：逻辑、语义、串空间、电子商务协议

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

在线出版日期：2006-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：87-88,96