|
计算机科学 2003
形式系统ul的弱完备性Keywords: 人工智能模糊集理论模糊逻辑推理模式形式系统ul弱完备性 Abstract: basedonthebasicformaldeductivesystemulofuniversallogic,ul-algebraandd-tdealareproposectinthispaper.afterthediscussionontheirbasicpropertiesandtherelationwithbck-algebra,theweakcompletenesstheoryofulisprovedthroughth
|