1
|
K^(*)■谓词逻辑系统公理化真度的运算性质研究 |
鲁星
惠小静
王波
|
《宁夏大学学报(自然科学版)》
CAS
|
2023 |
0 |
|
2
|
MTL∀谓词逻辑系统公理化真度及其相似度的性质研究 |
王波
惠小静
马田雨
鲁星
|
《湖北大学学报(自然科学版)》
CAS
|
2023 |
0 |
|
3
|
K^(*)∀谓词逻辑系统中相似度及伪距离研究 |
鲁星
惠小静
王波
|
《延安大学学报(自然科学版)》
|
2022 |
0 |
|
4
|
中介谓词逻辑系统的λ-归结 |
潘正华
|
《软件学报》
EI
CSCD
北大核心
|
2003 |
12
|
|
5
|
谓词逻辑系统MTL■中公式的公理化真度 |
王波
惠小静
鲁星
|
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
|
2022 |
0 |
|
6
|
MTL■谓词逻辑系统公理化真度的运算性质研究 |
王波
惠小静
鲁星
|
《宁夏大学学报(自然科学版)》
CAS
|
2022 |
0 |
|
7
|
BL■谓词逻辑系统中相似度计算方法 |
郝娇
惠小静
马硕
|
《沈阳大学学报(自然科学版)》
CAS
|
2022 |
0 |
|
8
|
卡尔纳普归纳逻辑系统在知识获取中的应用 |
陈炜
杨莉
|
《南京师大学报(社会科学版)》
CSSCI
|
1990 |
0 |
|
9
|
一阶形式系统K^*及其完备性 |
裴道武
|
《数学年刊(A辑)》
CSCD
北大核心
|
2002 |
17
|
|
10
|
信任谓词的计算语义 |
崔巍
李益发
斯雪明
|
《信息工程大学学报》
|
2012 |
0 |
|
11
|
一阶逻辑中几类特殊公式的真度计算方法 |
马硕
惠小静
郝娇
|
《延安大学学报(自然科学版)》
|
2022 |
0 |
|
12
|
基于改进的无穷值语义解释的中介谓词逻辑的λ-归结 |
张胜礼
潘正华
|
《山东大学学报(理学版)》
CAS
CSCD
北大核心
|
2012 |
1
|
|
13
|
广义量词理论述评 |
张维真
|
《中州学刊》
CSSCI
北大核心
|
1994 |
0 |
|
14
|
离散数学中与量词有关的推理规则 |
何自强
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2000 |
2
|
|
15
|
“分析性”是绝对的吗?——关于塔斯基质疑的思考 |
汪希
|
《社会科学》
CSSCI
北大核心
|
1992 |
0 |
|
16
|
自由逻辑中的存在问题 |
冯艳
|
《哲学动态》
CSSCI
北大核心
|
2010 |
1
|
|
17
|
逻辑的范围 |
S.哈克
黄骏
尹智全
周建设
冯周卓
|
《世界哲学》
|
1986 |
1
|
|
18
|
《广义模态逻辑》出版 |
陈波
|
《教学与研究》
CSSCI
北大核心
|
1997 |
0 |
|