| 一种弱BL形式演绎系统及其商代数理论 |
| |
| 引用本文： | 刘新,张振良,赵晓燕. 一种弱BL形式演绎系统及其商代数理论[J]. 山东科技大学学报(自然科学版), 2005, 24(4): 89-92 |
| |
| 作者姓名： | 刘新 张振良 赵晓燕 |
| |
| 作者单位： | 山东科技大学,地球信息科学与工程学院,山东,青岛,266510;昆明理工大学,理学院,云南,昆明,650093;山东科技大学,信息科学与工程学院,山东,青岛,266510 |
| |
| 摘 要： | 弱化了BL的条件，提出了弱BL形式演泽系统，详细研究了弱BL中经常用到的性质定理。研究了一种同余关系极其商代数理论；提出了商代教中的模糊滤子概念，详细研究了模糊滤子的性质定理。
|
| 关 键 词： | WBL 模糊滤子 同余关系 商代数 |
| 文章编号： | 1672-3767（2005）04-0089-04 |
| 收稿时间： | 2005-05-25 |
| 修稿时间： | 2005-05-25 |
A Kind of Weaker Basic Logic Type of Deduction System and Its Quotient Algebras Theory |
| |
| LIU Xin,ZHANG Zhen-liang,ZHAO Xiao-yan. A Kind of Weaker Basic Logic Type of Deduction System and Its Quotient Algebras Theory[J]. Journal of Shandong Univ of Sci and Technol: Nat Sci, 2005, 24(4): 89-92 |
| |
| Authors: | LIU Xin ZHANG Zhen-liang ZHAO Xiao-yan |
| |
| Affiliation: | 1, Collage of Geo-information Science and Technology, SUST, Qingdao, Shandong 266510, China; 2, College of Science, Kunming University of Technology, Kunming, Yunnan 650093, China; 3, College of Information Science and Engineering, SUST, Oingdao Shandong 266510 ,China |
| |
| Abstract: | The condition of basic logic is weakened and then the concept of weaker basic logic type of deduction system is introduced in the paper.Theorems for weaker basic logic(WBL) that are often used are studied in detail.A kind of congruence relation and corresponding quotient algebras in WBL are studied also.The concept of fuzzy filter in quotient algebras is introduced, whose theorems are studied as well. |
| |
| Keywords: | weaker basic logic fuzzy filter congruence relation quotient algebras |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
