基础R0-代数与基础L^＊系统

来源 :数学进展 | 被引量 : 0次 | 上传用户：shuper

【摘要】

：

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L*系统的

【作者】

：

吴洪博

【机构】

：

陕西师范大学数学研究所

【出处】

：

数学进展

【发表日期】

：

2003年5期

【关键词】

：

基础R0-代数基础L^＊系统模糊命题演算形式演绎系统 BL-代数 MV-代数完备性逻辑代数 fuzzy logic basis .R_0-algeb

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L*系统的观点,讨论了基础R0-代数与BL代数,基础L*系统与BL系统之间的相互关系及相对独立性,讨论了基础L*系统关于基础R0-代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L*系统的扩张,最后作为基础R0-代数与基础L*系统的一个应用,证明了L*系统关于语义ΩW的完备

其他文献

“海蜇-缢蛏-牙鲆-对虾”混养池塘悬浮颗粒物结构及其有机碳库储量

为了阐明＂海蜇-缢蛏-牙鲆-中国对虾＂混养池塘生态系统的结构和功能特征,并为不同养殖模式的碳循环研究和发展低碳渔业提供参考,于2013年5—10月对辽宁丹东东港地区（N 39°51

期刊

总悬浮颗粒物有机碳混养池塘total suspended particles matter organic carbon polyculture po

关于m－fold稳定环

本文给出了R为m-fold稳定环的若干充分必要条件,证明了整闭整环的Kronecker函数环为m-fold稳定环.进一步地,得到了左(右)拟DUO替换环为m-fold稳定环的条件.

期刊

fold稳定环整闭整环Kronecker函数环拟DUO替换环模m-fold stable condition Kronecker function

证券公司集中交易系统的优化

【正】集中交易为证券公司在节约成本、规范管理和业务创新等各方面均带来了诸多优势,我公司作为业内业务及技术创新方面均处于前沿的券商,在大集中的基础上又进一步开发了风

期刊

交易系统性能优化综合业务平台管理系统优化改造数据库连接应用服务器优化步骤存储过程测试用例

基础R0-代数与基础L^＊系统

其他学术论文