Please wait a minute...
北京大学期刊网 | 作者  审稿人  工作人员

首页   |   关于   |   浏览   |   投稿指南   |   新闻公告
数学进展
研究论文
基础R_(0-)代数与基础L~*系统
Basis .R_0-albebra and Basis L~* System

吴洪博
WU Hong-bo

陕西师范大学数学研究所 西安,陕西,中国 710062
(Institute of Mathematics, Shaanxi Normal Univ., Xi'an, Shaanxi, 710062, P. R. China

收稿日期: 2003-10-25
出版日期: 2003-10-25

43
浏览

引用导出
E-mail这篇文章
E-mail提醒
RSS订阅

摘要 研究了王国俊教授建立的模糊命题演算的形式演绎系统L~*和与之在语义上相匹配的R_0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL_-代数,提出了基础Ro-代数和基础L~*系统的观点,讨论了基础R_0-代数与BL代数,基础L~*系统与BL系统之间的相互关系及相对独立性,讨论了基础L~*系统关于基础R_0-代数的完备性问题,证明了MV-代数是特殊的基础R_0-代数,指出了Lukasiewicz模糊命题演算系统是基础L~*系统的扩张,最后作为基础R_0-代数与基础L~*系统的一个应用,证明了L~*系统关于语义Ω_W的完备性,并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试.
关键词 模糊逻辑基础R_0-代数基础L~*系统MV-代数BL-代数命题演算系统    
Abstract:The formal deductive system L* for fuzzy propositional calculus and R0-algebra have been studied. The concepts of basis Ro-algebra, and basis L* system are proposed. The independances between basis R0o-algebra and BL-algebra, basis L* system and BL system have been discussed. The completeness of basis L* system about basis R0-algebra has been investigated. As an example of their application, we have proved the completeness of L* system about semantics ΩW, and we make a try to change the deductions and proofs in system L* into operation in relevant logic algebra.
Key words basis .R_0-algebra    basis L~* system    MV-algebra    BL-algebra    propositional calculus system
[1] 张小红;魏萍;. DR_0代数:由De Morgan代数导出的正则剩余格[J]. 数学进展, 2008, 37(4): 499-511.
[2] 张小红;. 基于左连续伪T-模的非可换模糊逻辑系统PUL~*[J]. 数学进展, 2007, 36(3): 295-308.
[3] 张家录;. MV-代数的Fuzzy拓扑表现定理[J]. 数学进展, 2006, 35(6): 747-754.
[4] 吴洪博;邵晓丽;. 完备剩余格中的全蕴涵推理方法[J]. 数学进展, 2006, 35(3): 303-314.
Viewed
Full text


Abstract

Cited

首页 · 关于 · 关于OA · 法律公告 · 收录须知 · 联系我们 · 注册 · 登录


© 2015-2017 北京大学图书馆 .