西安市科技计划项目(CX12189WL26)
- 作品数：3 被引量：11H指数：3
- 相关作者：吴洪博于鸿丽周建仁更多>>
- 相关机构：陕西师范大学西安文理学院更多>>
- 发文基金：国家自然科学基金西安市科技计划项目更多>>
- 相关领域：理学更多>>
- 真度的均值表示形式在逻辑系统L_n中的应用被引量：4
- 2014年
- 命题真度是计量逻辑学中的基础概念.本文将真度定义的均值表示形式应用于逻辑系统Ln中.首先,利用真度均值形式的定义计算了某些公式的真度;其次,证明了有关公式真度的基本性质.相比利用真度定义的加权表示形式的证明,该证明过程更加简明,拓宽了真度理论的研究思路,丰富了现有研究成果。
- 于鸿丽吴洪博
- 关键词：真度
- R_O-蕴涵算子所导出的逻辑函数的特征被引量：5
- 2014年
- R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的作用.本文在R_0-型命题逻辑系统中,对由n个原子公式生成的公式通过R_0-蕴涵算子导出的逻辑函数的特征进行了研究,得到了函数可由R_0-型命题逻辑系统中的公式通过R_0-蕴涵算子导出的充要条件.
- 周建仁吴洪博
- 关键词：模糊逻辑逻辑函数
- 多值逻辑系统RDP中的子代数理论被引量：3
- 2013年
- 系统RDP是一个带有参数的系统,将参数a赋予不同的值,将会得到不同的多值逻辑系统。本文研究了多值逻辑系统RDP中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统RDP的进一步研究奠定了基础。
- 于鸿丽吴洪博
- 关键词：多值逻辑子代数
