全部 标题 作者
关键词 摘要

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

查看量下载量

相关文章

更多...

LF(X)中带广义量词的弱完备性定理

Keywords: 一阶格值逻辑系统LF(X),广义量词,弱完备性定理

Full-Text   Cite this paper   Add to My Lib

Abstract:

给出了一阶格值逻辑系统LF(X)中带广义量词的Lˉ型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理.

References

[1]  Zadeh L A.The concept of a linguistic variable and its application to approximate reasoning[J].Information Sciences,1975,8:199ˉ249.
[2] Zadeh L A.Outline of a new approach to the analysis of complex systems and decision processes[J].IEEE Trans System Man&Cybemetics,1973,1:28ˉ44.
[3]Xu Yang,Lin Jun,Sun Zhenˉming,et al.On semantics ofLˉvalued firstˉorder logic L vfl [J].Internate JGeneral Systems,2000,29(1):53ˉ79.
[4]W ang Guoˉjun.On the logic foundation of fuzzy reasoning[J].Information Sciences,1999,117:47ˉ88.
[5]Xu Yang,Qin Keˉyun,Lin Jun,et al.Lˉvalued proposition logic L vpl [J].Information Sciences,1999,114:205ˉ235.
[6] Zhou Ping,Wu Xueˉfang,Qin Keˉyun,et al.Fuzzy reasoning based on the L vpl [J].JMathematics,2004,4(12):775ˉ781.
[7]徐扬.格蕴涵代数[J].西南交通大学学报:自然科学版,1993,89(1):20ˉ27.
[8]Qin Keˉyun.Fuzzy proposition logic system FP(X)(I)[J].J FuzzyMath,1994,2(2):351ˉ357.
[9]徐扬,秦克云,宋振民.一阶格值逻辑系统FM中的语法[J].科学通报,1997,10(42):1052ˉ1055.
[10]徐扬,秦克云,宋振明.格值一阶逻辑系统FM的语法[J].中国科学,1997,42(10):1052ˉ1055.
[11]秦克云,徐扬.格值命题逻辑系统L(X)(I)[J].模糊系统与数学,1997,11(4):5ˉ11.
[12]秦克云,徐扬,宋振明.格值命题逻辑系统L(X)(II)[J].模糊系统与数学,1998,12(1):10ˉ19.
[13]Xu Yang,QinKeˉyun,Roh E H.A firstorder lattice valued logic system I:semantics[J].JFuzzyMath,2001,9(4):969ˉ976.
[14]Qin Keˉyun,Xu Yang,Roh E H.A first order lattice valued logic system II:syntax[J].J FuzzyMath,2001,9(4):977ˉ983.
[15]Xu Yang,Ruan Da,Qin Keˉyun,et al.Latticeˉvalued Logic[M].New York:SpringerˉVerlag,2003.
[16]周平,姜明,徐杨.基于格值命题逻辑系统LP(X)的不确定性推理[J].四川师范大学学报:自然科学版,2006,29(5):509ˉ511.
[17]周平,姜明,徐扬.格值一阶逻辑系统LF(X)中的广义量词[J].模糊系统与数学,2006,20(5):96ˉ100.
[18]周平,姜明,徐扬.格值一阶逻辑系统LF(X)中带广义量词的不确定性推理[J].模糊系统与数学,2007,21(2):40ˉ45.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133