摘要
通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.
The concept of deductive system was proposed on formula set F(S)of BL propositional logic system,and the strong congruence relation was introduced.We discussed the connection between deductive systems and strong congruence relations in BL system,gave the method of interconversion between them,and obtained the reducibility of interconversion between them.
出处
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
2018年第2期237-241,共5页
Journal of Jilin University:Science Edition
基金
国家自然科学基金(批准号:61572016
11531009
61673250)
关键词
模糊逻辑
命题逻辑系统BL
演绎系统
强同余关系
fuzzy logic
propositional logic system BL
deductive system
strong congruence relation