R_O-蕴涵算子所导出的逻辑函数的特征

发布时间：2017-12-13 23:00

  本文关键词：R_O-蕴涵算子所导出的逻辑函数的特征

  更多相关文章： 模糊逻辑 R_-蕴涵算子 逻辑函数

【摘要】：R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的作用.本文在R_0-型命题逻辑系统中,对由n个原子公式生成的公式通过R_0-蕴涵算子导出的逻辑函数的特征进行了研究,得到了函数可由R_0-型命题逻辑系统中的公式通过R_0-蕴涵算子导出的充要条件.
【作者单位】： 陕西师范大学数学与信息科学学院;
【基金】：国家自然科学基金资助项目(11171196) 西安市科技计划项目(CX12189WL26)
【分类号】：O141.1
【正文快照】： 在命题逻辑系统理论中,蕴涵箅子的结构决定着命题逻辑系统中蕴涵连接词的结构,也决定着命题逻辑系统中公理体系的结构l2,14,17].例如,Lukasiewicz蕴涵r2子所决定的Lukasiewicz命题逻辑系统141,Godel蕴涵算子所决定的Godel命题逻辑系统141,Rq-蕴涵算子所决定的Ro-命题逻辑系

【参考文献】

中国期刊全文数据库 前1条

1 吴洪博;王国俊;于鸿丽;;基于完备BR_0-代数的全蕴涵三I算法[J];数学研究与评论;2006年02期

【共引文献】

中国期刊全文数据库 前10条

1 李志伟;李桂华;;模糊广义正则蕴涵代数[J];毕节学院学报;2008年04期

2 佟伟玲,李全有,吴洪博;R_0-代数中一种混合运算的性质及L~*系统的完备性[J];纯粹数学与应用数学;2002年03期

3 马巧云;吴洪博;赵艳;;逻辑系统鄘、W、W_n中的广义矛盾式及一种降级算法[J];纯粹数学与应用数学;2007年04期

4 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

5 吴洪博;周建仁;张琼;;(3n+1)值逻辑系统R_0L中公式的真度性质[J];电子学报;2011年10期

6 李顺琴;王国俊;;修正的Kleene系统中的子代数的广义矛盾式[J];纺织高校基础科学学报;2007年02期

7 吴洪博,阎满富;G銉del逻辑系统中广义语义HS规划和广义语义MP规则[J];工程数学学报;2003年03期

8 阎满富,吴洪溥;修正的Kleene系统中的一种降级算法及其性质[J];工程数学学报;2004年04期

9 任芳;L~*系统中由单个原子生成的公式的真值函数的特征[J];工程数学学报;2005年03期

10 张小红,田英培;R_0-代数与BL-代数中的素滤子定理(英文)[J];工程数学学报;2005年05期

中国博士学位论文全文数据库 前7条

1 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

3 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

4 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

5 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

6 唐益明;（1，，2，2）型异蕴涵泛三I算法及其应用研究[D];合肥工业大学;2011年

7 时慧娴;模态逻辑的计量化研究及其在模型检验中的应用[D];陕西师范大学;2013年

中国硕士学位论文全文数据库 前10条

1 王志明;WBR_0代数的研究[D];陕西师范大学;2011年

2 刘杰;正则剩余格上的模糊理想基的研究[D];陕西师范大学;2011年

3 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年

4 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

5 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

6 吴凤干;直觉模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

7 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年

8 王小敏;L～*系统中的模糊演绎定理与R_0代数性质的新探索[D];陕西师范大学;2007年

9 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年

10 隋云云;非线性序集逻辑系统中命题的真度理论及近似推理理论[D];山东大学;2009年

【二级参考文献】

中国期刊全文数据库 前6条

1 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

2 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑:技术科学;2002年02期

3 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

4 吴洪博,文秋梅;基础L~*系统的一种扩张——Lukasiewicz系统[J];模糊系统与数学;2002年02期

5 吴洪博;基础R_(0-)代数与基础L~*系统[J];数学进展;2003年05期

6 吴洪博;基础R_0-代数的性质及在L~*系统中的应用[J];数学研究与评论;2003年03期

本文编号：1286876