|
1
|
后期维特根斯坦对数学逻辑主义的批判——兼论数学哲学研究新途径的可能性 |
徐晟程
管月飞
|
《安徽理工大学学报(社会科学版)》
|
2024 |
0 |
|
|
2
|
模糊模态命题逻辑及其广义重言式 |
汪德刚
谷云东
李洪兴
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2007 |
18
|
|
|
3
|
扰动模糊逻辑I^2的最大子代数及其广义重言式 |
陈图云
韩莹
廖士中
|
《工程数学学报》
CSCD
北大核心
|
2003 |
9
|
|
|
4
|
命题逻辑中的程度化方法 |
王国俊
宋建社
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2006 |
67
|
|
|
5
|
Lukasiewicz命题逻辑系统中真度的等价定义及相关性质 |
周建仁
吴洪博
|
《工程数学学报》
CSCD
北大核心
|
2013 |
18
|
|
|
6
|
直觉模糊条件推理与可信度传播 |
雷英杰
王宝树
王晶晶
|
《电子与信息学报》
EI
CSCD
北大核心
|
2006 |
15
|
|
|
7
|
Lukasiewicz命题逻辑中命题的Choquet积分真度理论 |
周红军
折延宏
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2013 |
9
|
|
|
8
|
四种命题逻辑中公式的相对Γ-重言度理论 |
王国俊
刘保翠
|
《工程数学学报》
CSCD
北大核心
|
2007 |
14
|
|
|
9
|
应用UML2.0模型的测试用例生成方法 |
张琛
段振华
|
《西安交通大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
8
|
|
|
10
|
二值命题逻辑公式的语构程度化方法 |
张东晓
李立峰
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2008 |
17
|
|
|
11
|
同标签Vague命题的Lawry乘-加逻辑与Lawry下-上确界逻辑 |
张兴芳
胡凯
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2014 |
3
|
|
|
12
|
液体火箭发动机故障诊断的命题逻辑方法 |
刘洪刚
吴建军
陈启智
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2002 |
2
|
|
|
13
|
n值S-MTL命题逻辑系统中公式真度的统一理论 |
李骏
邓富喜
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2011 |
15
|
|
|
14
|
二值命题逻辑中伪距离的真度表示及其应用 |
王廷明
王爱青
|
《青岛理工大学学报》
CAS
|
2008 |
10
|
|
|
15
|
命题逻辑系统SMTL中公式的积分真度理论 |
李骏
姚锦涛
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2013 |
14
|
|
|
16
|
结合了命题逻辑与系统动力学的混合控制 |
李丹菁
陶振麟
|
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2001 |
2
|
|
|
17
|
模糊命题模态逻辑的Tableau方法 |
刘磊
王强
吕帅
|
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
|
2017 |
1
|
|
|
18
|
谓词逻辑推理中证明方法的判定 |
潘美芹
丁志军
王永丽
|
《山东科技大学学报（自然科学版）》
CAS
|
2005 |
1
|
|
|
19
|
基于命题逻辑的组件约束检测 |
陈宁
冯博琴
|
《西安交通大学学报》
EI
CAS
CSCD
北大核心
|
2007 |
2
|
|
|
20
|
格值命题逻辑系统L_(vpl)中的推理规则 |
陈树伟
徐扬
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2006 |
2
|
|
