|
|||||
|
|
| 程序兼纳集：由力迫描述的中介逻辑程序语义 | |
| 作者姓名： | 朱朝晖 施庆生 |
| 作者单位： | 南京航空航天大学计算机科学研究所，南京建筑工程学院基础部，南京航空航天大学计算机科学研究所 南京 210016，南京 210000，南京 210016，南京大学计算机软件国家重点实验室，南京 210093 |
| 基金项目： | 国家“八六三”高技术计划，国家“攀登计划”资助项目 |
| 摘 要： | 运用力迫方法在非封闭世界假设下讨论了一种基于中介逻辑含非Ｈｏｒｎ型语句逻辑程序的语义，并就程序兼纳集的不动点性质，迭代性质作了研究，还证明了程序兼纳集在集合包含关系下是１个完全交半格。 |
| 关 键 词： | 中介逻辑程序 语义 力迫 程序兼纳集 计算机 |
| 本文献已被 CNKI 维普 等数据库收录！ | |