西安石油学院学报2000，Vol.15Issue(6)：48-52,5.
L*系统的一种弱完全对偶形式系统WCL-*
A Kind of Weak Completely Dual Formal System WCL-* for L* System
摘要
关键词
模糊逻辑/命题演算/形式演绎系统L*/弱完全对偶形式演绎系统WCL-*/并推理规则分类
数理科学引用本文复制引用
吴洪博,王国俊..L*系统的一种弱完全对偶形式系统WCL-*[J].西安石油学院学报,2000,15(6):48-52,5.基金项目
国家自然科学基金重点资助项目(19831040) （19831040）
