《计算机学报》文章摘要 全文下载 | |
文章题目 | 两维时间域上的一种区间逻辑 |
作者 | 裘宗燕 |
作者单位 | (北京大学数学学院信息科学系 北京 100871) |
发表年份 | 1999 |
发表月份 | 5期 (页码:455—459) |
文章摘要 | 为了给超稠密计算模型(Super-dense computation)建立一种逻辑工具, 首先定义了一个两维的超稠密时间域,在这个时间域上定义了一种区间逻辑,并提出了该逻辑的一个推理系统.并用轨道概念定义了两维超稠密空间中的计算、时段等.最后讨论了一些相关的问题. 关键词 时态逻辑,区间逻辑,超稠密计算,两维时间. |