山东科技大学学报(自然科学版)2005，Vol.24Issue(4) ：89-92.

一种弱BL形式演绎系统及其商代数理论

A Kind of Weaker Basic Logic Type of Deduction System and Its Quotient Algebras Theory

刘新 张振良 赵晓燕
山东科技大学学报(自然科学版)2005，Vol.24Issue(4) ：89-92.
✕
  • NETL
  • NSTL
  • 维普
  • 万方数据

一种弱BL形式演绎系统及其商代数理论

A Kind of Weaker Basic Logic Type of Deduction System and Its Quotient Algebras Theory

刘新 1张振良 2赵晓燕3
扫码查看

作者信息

  • 1. 山东科技大学,地球信息科学与工程学院,山东,青岛,266510
  • 2. 昆明理工大学,理学院,云南,昆明,650093
  • 3. 山东科技大学,信息科学与工程学院,山东,青岛,266510
  • 折叠

摘要

弱化了BL的条件,提出了弱BL形式演泽系统,详细研究了弱BL中经常用到的性质定理,研究了一种同余关系极其商代数理论;提出了商代数中的模糊滤子概念,详细研究了模糊滤子的性质定理.

关键词

WBL/模糊滤子/同余关系/商代数

引用本文复制引用

出版年

2005
山东科技大学学报(自然科学版)
山东科技大学

山东科技大学学报(自然科学版)

影响因子：0.437
ISSN：1672-3767
参考文献量2
段落导航相关论文