1
|
G?del n值命题逻辑系统的真度理论 |
朱乃调
惠小静
高晓莉
高姣
|
《计算机工程与应用》
CSCD
北大核心
|
2017 |
0 |
|
2
|
基于有限格蕴涵代数的格值命题逻辑语法系统 |
马骏
高雅
秦克云
徐扬
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2004 |
17
|
|
3
|
n值S-MTL命题逻辑系统中公式真度的统一理论 |
李骏
邓富喜
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2011 |
15
|
|
4
|
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法 |
李晓冰
邱小平
徐扬
|
《模糊系统与数学》
CSCD
北大核心
|
2009 |
8
|
|
5
|
命题逻辑系统SMTL中公式的积分真度理论 |
李骏
姚锦涛
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2013 |
14
|
|
6
|
格值命题逻辑系统L9P(X)中的自动推理算法 |
李晓冰
邱小平
徐扬
|
《计算机工程与应用》
CSCD
北大核心
|
2008 |
5
|
|
7
|
基于有限格蕴涵代数的格值命题逻辑语义系统 |
马骏
秦克云
徐扬
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2002 |
3
|
|
8
|
区间值模糊命题逻辑系统的广义恒真式 |
陆秋君
吴望名
|
《模糊系统与数学》
CSCD
|
2001 |
5
|
|
9
|
命题逻辑系统R_0L_(3n+1)中公式的Γ-真度及性质 |
吴洪博
周建仁
|
《计算机学报》
EI
CSCD
北大核心
|
2015 |
4
|
|
10
|
基于格值命题逻辑系统LP(X)的不确定性推理 |
周平
姜明
徐扬
|
《四川师范大学学报(自然科学版)》
CAS
CSCD
北大核心
|
2006 |
3
|
|
11
|
结合了命题逻辑与系统动力学的混合控制 |
李丹菁
陶振麟
|
《华东理工大学学报(自然科学版)》
CAS
CSCD
北大核心
|
2001 |
2
|
|
12
|
BL命题逻辑系统的强同余关系及演绎系统 |
崔艳丽
梁颖
吴洪博
|
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
|
2018 |
1
|
|
13
|
模糊命题逻辑系统中的代换定理 |
杨晓斌
张文修
|
《工程数学学报》
CSCD
北大核心
|
2003 |
1
|
|
14
|
■ukasiewicz命题逻辑系统中的赋值决定公式问题 |
王国俊
李立峰
|
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
|
2006 |
2
|
|
15
|
一类n值命题逻辑系统中改进的相似度及伪距离 |
李骏
黎锁平
兰倩
|
《甘肃工业大学学报》
北大核心
|
2003 |
4
|
|
16
|
概率命题逻辑是经典命题演算形式系统的随机事件语义 |
刘宏岚
高庆狮
杨炳儒
|
《小型微型计算机系统》
CSCD
北大核心
|
2011 |
1
|
|
17
|
二值命题逻辑系统中公式的语构真度理论 |
龚加安
吴洪博
|
《云南师范大学学报(自然科学版)》
|
2009 |
1
|
|
18
|
命题逻辑的证伪系统 |
刘新文
|
《湖南科技大学学报(社会科学版)》
CSSCI
北大核心
|
2011 |
1
|
|
19
|
n值命题逻辑系统L_n~*中公式Γ-的绝对真度理论 |
李顺琴
王泽阳
|
《贵州大学学报(自然科学版)》
|
2017 |
3
|
|
20
|
格值命题逻辑系统LP(X)的α-超归结原理 |
李晓冰
|
《中国新技术新产品》
|
2009 |
1
|
|