摘要
在舍弃了经典逻辑系统中公理L1)的基础上建立了一类模糊命题逻辑的准形式演绎系统L G R。并在此基础上研究了模糊逻辑系统中的代换定理,为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础。
A bnegating the first axiom L1) on the classical formal logic system, we established the quasi-formal deductive system L~*_(G-R). Based on L~*_(G-R) the substitute theorem were researched.
出处
《工程数学学报》
CSCD
北大核心
2003年第6期101-105,共5页
Chinese Journal of Engineering Mathematics
基金
国家自然科学基金资助项目(10261005).
关键词
模糊系统
命题逻辑
代换定理
fuzzy system
proposition logic
the substitute theorem
