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

微信服务号

微信订阅号

首页 > 过刊浏览>1990年第1卷第1期 >26-30

算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGIC

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

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

Abstract:

In this paper, we introduce the concepts of λ-implying, λ-strong implying, λ-weak logical consequence and λ-logical consequence. We prove that λ-resolvent of C₁ and C₂ is a λ-logical consequence of (C₁∧C₂) and compleieness theorem of λ-resolution.

参考文献

相似文献

引证文献

引用本文

刘叙华.算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵.软件学报,1990,1(1):26-30

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1989-03-25
最后修改日期:
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史