1
|
基于幂零泛与运算模型的命题模糊逻辑 |
罗敏霞
何华灿
|
《计算机科学》
CSCD
北大核心
|
2004 |
3
|
|
2
|
基于零级泛与运算的谓词形式系统及其可靠性 |
马盈仓
何华灿
|
《计算机应用研究》
CSCD
北大核心
|
2011 |
1
|
|
3
|
基于零级泛与运算的泛逻辑中广义重言式理论 |
马盈仓
何华灿
薛占熬
|
《计算机工程与应用》
CSCD
北大核心
|
2007 |
0 |
|
4
|
基于零级泛与运算的谓词形式系统及其完备性 |
马盈仓
何华灿
|
《小型微型计算机系统》
CSCD
北大核心
|
2011 |
0 |
|
5
|
零级泛与运算模型的单调性 |
罗敏霞
|
《模糊系统与数学》
CSCD
北大核心
|
2008 |
0 |
|
6
|
泛逻辑泛运算模型之间的关系 |
罗敏霞
何华灿
马盈仓
|
《计算机应用研究》
CSCD
北大核心
|
2006 |
2
|
|
7
|
泛逻辑的一级泛运算模型的代数性质 |
罗敏霞
何华灿
|
《计算机工程与应用》
CSCD
北大核心
|
2004 |
2
|
|
8
|
泛逻辑的零级泛运算模型的代数性质 |
罗敏霞
何华灿
|
《模糊系统与数学》
CSCD
北大核心
|
2005 |
1
|
|
9
|
基于一类严格三角范数的命题逻辑 |
罗敏霞
何华灿
|
《计算机科学》
CSCD
北大核心
|
2008 |
0 |
|
10
|
谓词形式系统UL_(hε[0.75,1])^-及其完备性 |
马盈仓
何华灿
|
《计算机工程与应用》
CSCD
北大核心
|
2010 |
0 |
|
11
|
谓词形式系统UL_h^-∈[0.75,1]及其可靠性 |
马盈仓
何华灿
|
《计算机科学》
CSCD
北大核心
|
2011 |
0 |
|
12
|
柔性逻辑零级运算模型的健全性 |
陈佳林
何华灿
刘城霞
罗敏霞
|
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
1
|
|