-
题名逻辑系统H_α中的广义语义MP规则
被引量：2
- 1
-
-
作者
于鸿丽
吴洪博
-
机构
西安文理学院数学系
陕西师范大学数学与信息科学学院
-
出处
《宁夏大学学报（自然科学版）》
CAS
北大核心
2009年第2期109-111,123,共4页
-
基金
国家自然科学基金资助项目(10871121)
-
文摘
将修正的Kleene逻辑系统中的语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则、语义([α+]-MP)规则,使得对Hα系统中的广义重言式有了更进一步的认识.另外,逻辑系统-W中的广义语义MP规则也成为其中的一个特例.
-
关键词
模糊逻辑
hα逻辑系统
广义重言式
广义语义MP规则
-
Keywords
generalized Bernstein polynomials
direct theorems
inverse theorems
-
分类号
O141.1
[理学—基础数学]
-
-
题名逻辑系统H_α中广义语义MP规则证明的改进
被引量：1
- 2
-
-
作者
于鸿丽
吴洪博
-
机构
西安文理学院数学系
陕西师范大学数学与信息科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第22期52-53,87,共3页
-
基金
国家自然科学基金No.10871121
西安文理学院中青年科研基金(No.kyc201040)~~
-
文摘
将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α+]-MP)规则,使得对Hα系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统Wˉ中的广义语义MP规则也成为一个特例。
-
关键词
模糊逻辑
hα逻辑系统
广义重言式
广义语义MP规则
-
Keywords
fuzzy logic
hαlogic system
generalized tautologies
generalized semantic MP rule
-
分类号
O141.1
[理学—基础数学]
-
-
题名逻辑系统H_α中广义语义HS规则证明的改进
被引量：1
- 3
-
-
作者
于鸿丽
-
机构
西安文理学院数学系
-
出处
《西安文理学院学报（自然科学版）》
2010年第2期16-19,共4页
-
文摘
将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识.
-
关键词
模糊逻辑
hα逻辑系统
广义重言式
广义语义hS规则
-
Keywords
fuzzy logic
hα logic system
generalized tautologies
generalized semantic hS rule
-
分类号
O141.1
[理学—基础数学]
-
