|
1
|
基于有限格蕴涵代数的格值命题逻辑语法系统 |
马骏
高雅
秦克云
徐扬
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2004 |
17
|
|
|
2
|
基于模糊命题模态逻辑的形式推理系统(英文) |
张再跃
眭跃飞
曹存根
|
《软件学报》
EI
CSCD
北大核心
|
2005 |
6
|
|
|
3
|
n值S-MTL命题逻辑系统中公式真度的统一理论 |
李骏
邓富喜
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2011 |
15
|
|
|
4
|
基于有限格蕴涵代数的格值命题逻辑语义系统 |
马骏
秦克云
徐扬
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2002 |
3
|
|
|
5
|
命题逻辑系统SMTL中公式的积分真度理论 |
李骏
姚锦涛
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2013 |
14
|
|
|
6
|
格值命题逻辑系统L9P(X)中的自动推理算法 |
李晓冰
邱小平
徐扬
|
《计算机工程与应用》
CSCD
北大核心
|
2008 |
5
|
|
|
7
|
命题逻辑系统R_0L_(3n+1)中公式的Γ-真度及性质 |
吴洪博
周建仁
|
《计算机学报》
EI
CSCD
北大核心
|
2015 |
4
|
|
|
8
|
形式模糊命题逻辑推理系统 |
邓安生
刘叙华
|
《东北师大学报（自然科学版）》
CAS
CSCD
|
1989 |
2
|
|
|
9
|
概率命题逻辑是经典命题演算形式系统的随机事件语义 |
刘宏岚
高庆狮
杨炳儒
|
《小型微型计算机系统》
CSCD
北大核心
|
2011 |
1
|
|
|
10
|
BL命题逻辑系统的强同余关系及演绎系统 |
崔艳丽
梁颖
吴洪博
|
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
|
2018 |
1
|
|
|
11
|
■ukasiewicz命题逻辑系统中的赋值决定公式问题 |
王国俊
李立峰
|
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2006 |
2
|
|
|
12
|
结合了命题逻辑与系统动力学的混合控制 |
李丹菁
陶振麟
|
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2001 |
2
|
|
|
13
|
一类n值命题逻辑系统中改进的相似度及伪距离 |
李骏
黎锁平
兰倩
|
《甘肃工业大学学报》
北大核心
|
2003 |
4
|
|
|
14
|
模糊命题逻辑系统中的代换定理 |
杨晓斌
张文修
|
《工程数学学报》
CSCD
北大核心
|
2003 |
1
|
|
|
15
|
Fuzzy命题逻辑系统的语义分层方案 |
郑亚林
|
《系统工程与电子技术》
EI
CSCD
|
2000 |
3
|
|
|
16
|
一个严格区分逻辑矛盾与辩证矛盾的辩证逻辑的命题演算系统 |
曹飞
|
《河南师范大学学报（哲学社会科学版）》
北大核心
|
2007 |
1
|
|
|
17
|
一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统 |
曹飞
|
《湘潭大学学报（哲学社会科学版）》
CSSCI
北大核心
|
2014 |
1
|
|
|
18
|
四值非链格值命题逻辑系统L_4P(X)的语义归结方法 |
张家锋
徐扬
何星星
|
《计算机应用研究》
CSCD
北大核心
|
2011 |
0 |
|
|
19
|
基于模糊命题逻辑形式系统FLcom的模糊推理及应用 |
吴晓刚
潘正华
|
《计算机科学》
CSCD
北大核心
|
2015 |
0 |
|
|
20
|
中介逻辑的命题演算系统（MP^＊）的一些特征 |
盛建国
|
《应用数学》
CSCD
北大核心
|
1989 |
4
|
|
