基础模糊命题演算系统BL*的改进系统
基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统.命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张.通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系.
模糊逻辑、命题演算、系统BL*、简化、改进
24
O141(数理逻辑、数学基础)
国家自然科学基金资助项目10871121;陕西师范大学重点科研基金资助项目995130
2010-09-06(万方平台首次上网日期,不代表论文的发表时间)
共5页
1-5