算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵

被引：4

作者：

刘叙华

机构：

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

来源：

关键词：

算子模糊逻辑; 两个; 结式; 概念; 刘叙华; 逻辑结果; 思维形式; 完备性定理; Fuzzy; 命题; 定义; 任意解释;

D O I：

10.13328/j.cnki.jos.1990.01.004

中图分类号：

学科分类号：

摘要：

在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。

引用

页码：26 / 30

页数：5

共 5 条

[1]

在算子Fuzzy逻辑中带有相等关系的Fuzzy推理[J]. 刘叙华.中国科学(A辑数学物理学天文学技术科学). 1987(11)

[2] 广义模糊逻辑和锁语义归结原理 [J].

刘叙华 .

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

刘叙华 ;

肖红 .

[4] λ-Horn集上的λ-单元锁归结 [J].

刘叙华 ;

杨凤杰 ;

不详 .

[5]

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