全部 标题 作者 关键词 摘要
Full-Text Cite this paper Add to My Lib
在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133