一种新的算子Rough逻辑及其λ-归结<”*>)

摘要：

本文特别介绍了一种λ-归结方法,得到λ-归结原理的完备性,从讨论中可以突出λ-归结方法依赖于算子的合成运算”η<,*>,η<”*>”的选择.

关键词： 算子 Rough逻辑 λ-归结 粗糙集理论

作者: 张倩生 周作领

作者单位: 中山大学数学与计算机科学学院(广州)

会议类型: 国内会议

会议名称: 第二届中国Rough集与软计算学术研讨会

会议地点: 苏州

会议语种:中文

页码: 15-17

在线出版日期: 2002-09-01（万方平台首次上网日期，不代表论文的发表时间）