全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
电子学报  2013 

基于正则FI代数的MT理想及其应用

DOI: 10.3969/j.issn.0372-2112.2013.07.023, PP. 1389-1394

Keywords: 逻辑代数,正则FI代数,MT理想,同余关系,还原性,条件嵌入,生成方法

Full-Text   Cite this paper   Add to My Lib

Abstract:

本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件嵌入定理;最后,通过以蕴涵算子表示的隐式余三角模对MT理想的特征进行了描述,并通过特征定理给出了正则FI代数中MT理想的生成方法.

References

[1]  吴望名.Fuzzy蕴涵代数[J].模糊系统与数学,1990,4(1):56-63. Wu Wang-ming.Fuzzy implication algebras[J].Fuzzy Systems and Mathematics,1990,4(1):56-63.(in Chinese)
[2]  XU Yang,YUAN Da,QIN Keyun,LIU Jun.Lattice-Valued Logic[M].Berlin:Spinger-verlag,2003.
[3]  吴洪博.基础R0-代数与基础L*系统[J].数学进展,2003,32(5):565-576. Wu Hong-bo.Basis R0-algebra and basis L* systems[J].Advances in Mathematics,2003,32(5):565-576.(in Chinese)
[4]  李壁镜,王国俊.正则蕴涵算子所对应的逻辑伪度量空间[J].电子学报,2010,38(3):497-502. Li Bi-jing,Wang Guo-jun.Logic pseddo-metric spaces of regular implication operators[J].Acta Electronica Sinica,2010,38(3):497-502.(in Chinese)
[5]  王国俊.模糊推理的全蕴涵三I算法[J].中国科学(E辑),1999,29(1):43-53. Wang Guo-jun.Fully implication triple I methods for fuzzy reasoning system[J].Science in China (Series E),1999,29(1):43-53.(in Chinese)
[6]  LIU Huawen,WANG Guojun.Unified forms of fully implication restriction methods for fuzzy reasoning[J].Information Sciences,2007,177(3):956-966.
[7]  汪德刚,谷云东,李洪兴.模糊模态命题逻辑及其广义重言式[J].电子学报,2007,35(2):261-264. Wang De-gang,Gu Yun-dong,Li Hong-xing.Generalized tautology in fuzzy model propositional logic[J].Acta Electronica Sinica,2007,35(2):261-264.(in Chinese)
[8]  王国俊,宋建设.命题逻辑中的程度化方法[J].电子学报,2006,34(2):252-257. Wang Guo-jun,Song jian-she.Graded method in propositional logic[J].Acta Electronica Sinica,2006,34(2):252-257.(in Chinese)
[9]  李志伟,孙立民,郑崇友.正则Fuzzy蕴涵代数[J].模糊系统与数学,2002,16(2):22-26. Li Zhi-wei,Sun Li-min,Zheng Chong-you.Regular fuzzy implication algebra[J].Fuzzy Systems and Mathematics,2002,16(2):22-26.(in Chinese)
[10]  徐扬.格蕴涵代数[J].西南交通大学学报,1993,28(1):20-27. Xu Yang.Lattice implication algebras[J].Journal of Southwest Jiaotong University,1993,28(1):20-27.(in Chinese)
[11]  王国俊.非经典数理逻辑与近似推理(第二版)[M].北京:科学出版社,2003. Wang Guo-jun.Non-classical mathematical logic and approximate reasoning(2nd edition)[M].Beijing:Science Press,2003.(in Chinese)
[12]  P Hájek.Metamathematics of Fuzzy Logic[M].Dordrech:Kluwer Academic Publishers,1998.
[13]  胡明娣,王国俊.对称逻辑公式在经典逻辑度量空间中的分布[J].电子学报,2011,39(2):419-423. Hu Ming-di,Wang Guo-jun.Distribution of the symmetrical logic formulas in the classical logic metric space[J].Acta Electronica Sinica,2011,39(2):419-423.(in Chinese)
[14]  吴洪博,邵晓丽.完备剩余格中的全蕴涵推理方法[J].数学进展,2006,35(3):303-314. Wu Hong-bo,Shao Xiao-li.A method of total implication reasoning on complete residuated lattice[J].Advances in Mathematics,2006,35(3):303-314.(in Chinese)
[15]  LIU Huawen,WANG Guojun.Triple I method based on pointwise sustaining degrees.Computers and Mathematics with Applications,2008,55(11):2680-2688.
[16]  李洪兴,彭佳寅,王加银.基于三I算法的模糊系统及其响应性能[J].系统科学与数学,2005,25(5):578-590. Li Hong-xing,Peng Jia-yin,Wang Jia-yin.Fuzzy systems based on triple I algorithm and their response ability[J].Journal of Systems Science and Mathematical Sciences,2005,25(5):578-590.(in Chinese)
[17]  吴洪博,周建仁.计量逻辑中真度的均值表示及应用[J].电子学报,2012,40(9):1822-1828. Wu Hong-bo,Zhou Jian-ren. The form of mean representation of truth degree with application in quantitative logic [J].Acta Electronica Sinica,2012,40(9):1822-1828.(in Chinese)
[18]  吴洪博,周建仁,张琼.(3n+1)值逻辑系统R0L中公式的真度性质[J].电子学报,2011,39(10):2230-2234. Wu Hong-bo,Zhou Jian-ren,Zhang Qiong. The properties of truth degrees of formulas in(3n+1)-valued logic system R0L[J].Acta Electronica Sinica,2011,39(10):2230-2234.(in Chinese)
[19]  程国胜.R0-代数中滤子与理想[J].模糊系统与数学,2001,15(1):58-61. Cheng Guo-sheng.The filters and the ideals in R0-algebras[J].Fuzzy Systems and Mathematics,2001,15(1):58-61.(in Chinese)
[20]  郑崇友,樊磊,崔宏斌.FRAME与连续格(第二版)[M].北京:首都师范大学,2000. Zheng Chong-you,Fan Lei,Cui Hong-bin.Frame and Continuous Lattice(2nd edition)[M].Beijing:Capital Normal University,2000.(in Chinese)

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133