| R_O-蕴涵算子所导出的逻辑函数的特征 |
| |
| 引用本文： | 周建仁,吴洪博.R_O-蕴涵算子所导出的逻辑函数的特征[J].数学学报,2014(2). |
| |
| 作者姓名： | 周建仁 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院; |
| |
| 基金项目： | 国家自然科学基金资助项目(11171196);西安市科技计划项目(CX12189WL26) |
| |
| 摘 要： | R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的作用.本文在R_0-型命题逻辑系统中,对由n个原子公式生成的公式通过R_0-蕴涵算子导出的逻辑函数的特征进行了研究,得到了函数可由R_0-型命题逻辑系统中的公式通过R_0-蕴涵算子导出的充要条件.
|
| 关 键 词： | 模糊逻辑 R_0-蕴涵算子 逻辑函数 |
The Characteristics of Logic Functions Determined by R_0-Implication Operator |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
