广义λ-归结

被引：3

作者：

刘叙华

司徒芊

机构：

[1] 吉林大学计算机科学系

[2] 吉林省计算机技术研究所长春

[3] 长春

来源：

计算机学报 | 1992年 / 09期

关键词：

算子模糊逻辑; 广义归结; λ-归结;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.

引用

收藏

页码：655 / 661

页数：7

相关论文

共 5 条

[1] 算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵 [J].

刘叙华 .

软件学报, 1990, (01) :26-30

[2] 算子Fuzzy逻辑和λ-归结方法 [J].

刘叙华 ;

肖红 .

计算机学报, 1989, (02) :81-91

[3] 广义归结中的定理的表示 [J].

司徒芊 ;

刘叙华 .

计算机研究与发展, 1983, (08) :35-39

[4] 广义归结 [J].

王湘浩 ;

刘叙华 .

计算机学报, 1982, (02) :81-92

[5]

定理机器证明[M]. 科学出版社 , 刘叙华, 1987