|
1
|
(3n+1)值逻辑系统R_0L中公式的真度性质 |
吴洪博
周建仁
张琼
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2011 |
8
|
|
|
2
|
经典命题逻辑的概率语义及其应用 |
张家录
陈雪刚
赵晓东
|
《计算机学报》
EI
CSCD
北大核心
|
2014 |
10
|
|
|
3
|
Gdel n值命题逻辑中命题的α-真度理论 |
李骏
王国俊
|
《软件学报》
EI
CSCD
北大核心
|
2007 |
25
|
|
|
4
|
正则蕴涵算子所对应的逻辑伪度量空间 |
李璧镜
王国俊
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2010 |
21
|
|
|
5
|
L~*系统中公式的语构程度化方法 |
罗敏霞
姚宁
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2011 |
8
|
|
|
6
|
四种命题逻辑中公式的相对Γ-重言度理论 |
王国俊
刘保翠
|
《工程数学学报》
CSCD
北大核心
|
2007 |
14
|
|
|
7
|
n值Lkasiewicz命题逻辑中命题的α-真度理论 |
李骏
王国俊
|
《计算机工程与应用》
CSCD
北大核心
|
2006 |
12
|
|
|
8
|
命题逻辑系统SMTL中公式的积分真度理论 |
李骏
姚锦涛
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2013 |
14
|
|
|
9
|
伪度量L*-Lindenbaum代数中基本运算的连续性 |
王伟
王国俊
|
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
|
2005 |
8
|
|
|
10
|
计量逻辑学(Ⅰ) |
王国俊
|
《工程数学学报》
CSCD
北大核心
|
2006 |
200
|
|
|
11
|
连续值命题逻辑中公式的概率真度及相似度 |
于西昌
张兴芳
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
4
|
|
|
12
|
连续值Luk系统中公式的Γ-真度及其性质 |
杨进峰
崔艳丽
吴洪博
|
《计算机工程与应用》
CSCD
北大核心
|
2011 |
2
|
|
|
13
|
计量逻辑学中的误差累计理论 |
韩邦合
李永明
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
3
|
|
|
14
|
n值逻辑系统MTL_n中命题的程度化方法 |
李骏
王国俊
周艳
|
《计算机工程与应用》
CSCD
北大核心
|
2007 |
2
|
|
|
15
|
三值标准序列逻辑中的α-真度理论 |
李骏
孟新友
李建生
|
《兰州理工大学学报》
CAS
北大核心
|
2007 |
1
|
|
|
16
|
Lukasiewicz三值命题逻辑系统中公式的概率真度理论 |
关晓红
刘晓
|
《计算机工程与应用》
CSCD
北大核心
|
2010 |
2
|
|
|
17
|
n值S-MTL逻辑系统中命题的Borel概率真度理论 |
李骏
郑刚
|
《计算机工程与应用》
CSCD
|
2014 |
2
|
|
|
18
|
计量逻辑学中的收敛理论 |
韩邦合
李永明
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
2
|
|
|
19
|
三种近似推理模式的等价性 |
惠小静
|
《计算机工程与应用》
CSCD
北大核心
|
2008 |
12
|
|
|
20
|
p.q.度量分子格中的拓扑 |
史福贵
赵立军
王希文
|
《河北大学学报(自然科学版)》
CAS
|
1999 |
2
|
|