%0 Journal Article
%T 算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵
%A 刘叙华
%J -
%D 1990
%X 在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19900103&flag=1