%0 Journal Article
%T 形式系统ul的弱完备性
%A 张小红 何华灿 李伟华？
%J 计算机科学
%D 2003
%X basedonthebasicformaldeductivesystemulofuniversallogic,ul-algebraandd-tdealareproposectinthispaper.afterthediscussionontheirbasicpropertiesandtherelationwithbck-algebra,theweakcompletenesstheoryofulisprovedthroughth
%K 人工智能模糊集理论模糊逻辑推理模式形式系统ul弱完备性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8764334&flag=1