基础模糊命题演算系统BL＊的改进系统  

The Improved Form of the Basic System BL＊

作　　者：吴洪博[1] 龚家安[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《模糊系统与数学》2010年第3期1-5,共5页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(10871121);陕西师范大学重点科研基金资助项目(995130)

摘　　要：基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。The basic fuzzy propositional calculus system BL＊ is independent to the basic fuzzy propositional calculus system BL. The fuzzy propositional calculus system BL＊ is the extension of the system BL＊, but not the system BL. In this paper, through the study of the system BL＊, we have revised the system BL＊, and furtherly improved its axiom＇s system.

关 键 词：模糊逻辑 命题演算 系统BL＊ 简化 改进 

分 类 号：O141[理学—数学]