再问科研
基金查询
学科分析
选题分析
AI润色(Beta)
新闻公告
趋势报告
经验分享
登录
注册
周红军
面上项目
项目编号:
11171200 【年份:2011】
项目名称:
谓词逻辑与模型检验中的计量化理论
资助金额:
46万
单位名称:
陕西师范大学
学科分类:
A0602.信息技术与不确定性的数学理论与方法
参与者:
陕西师范大学
谓词逻辑与模型检验中的计量化理论
项目批准号:
11171200
批准年份:
2011
学科分类:
A0602.信息技术与不确定性的数学理论与方法
项目负责人:
周红军
资助类别:
面上项目
负责人职称:
教授
依托单位:
陕西师范大学
资助金额:
46万元
关键词:
最优化;谓词逻辑;模型检测;计量化
起止时间:
2012-01-01到2015-12-31
中英文摘要
结题摘要
结题报告
项目成果
项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
标题
类型
全部
期刊论文
会议论文
著作
奖励
专利
作者
搜索
重置
序号
标题
类型
作者
1
线性时序逻辑基于DTMC 的计量化方法
期刊论文
时慧娴|李永明|
2
Maximal contractions in Boolean algebras
期刊论文
Shi HuiXian|Wang GuoJun|
3
计量逻辑学的基本思想和研究综述
期刊论文
王国俊|
4
An axiomatic method for evaluating goodness of closed predicate propositions containing no function letters
会议论文
5
The semantics theory for muti-valued reasoning about knowledge
会议论文
6
经典命题逻辑中的一致结构与一致拓扑
期刊论文
罗清君|王国俊|
7
多值?ukasiewicz 逻辑公式的范式表示和计数问题
期刊论文
王庆平|王国俊|
8
BL代数中极大滤子的拓扑性质
期刊论文
罗清君|王国俊|
9
R0代数上的一致拓扑空间
期刊论文
罗清君|
10
A unified integrated method for evaluating goodness of propositions in several propositional logic systems and its applications
期刊论文
Wang Guojun|
11
Robustness analysis of logic metrics on F(X)
期刊论文
段景瑶|李永明|
12
BL代数中极大滤子的拓扑性质
期刊论文
罗清君|王国俊|
13
The affine transformation in quantitative logic
会议论文
14
L3*中逻辑公式的范式表示及对称逻辑公式的构造方法
期刊论文
王庆平|
15
迁移系统关于一类时态逻辑公式的满足度
期刊论文
王庆平|时慧娴|罗清君|王伟|
16
计量逻辑学中的雪崩逻辑公式
期刊论文
王庆平|王国俊|
17
一类一阶逻辑公式中的公理化真度理论及其应用
期刊论文
王国俊|
18
基于有限迁移系统的线性时态逻辑的计量化方法
期刊论文
时慧娴|王国俊|
19
On robustness of the full implication triple I inference method with respect to finer measurements
期刊论文
王国俊|段景瑶|
20
A Unified Integrated Method for Evaluating Goodness of Propositions in Several Propositional Logic Systems and Its Applications
期刊论文
Wang Guojun|
21
L*3中逻辑公式的范式表示及对称逻辑公式的构造方法
期刊论文
王庆平|
22
经典命题逻辑中的近似推理与强近似推理
期刊论文
罗清君|王国俊|
23
一类一阶逻辑公式中的公理化真度理论及其应用
期刊论文
王国俊|
24
雪崩布尔函数的构造方法及个数估计
期刊论文
王庆平|
25
经典命题逻辑中的近似推理与强近似推理
期刊论文
罗清君|王国俊|
26
Filters in stone BL algebras
会议论文
Luo Qing-Jun|Wang Guo-Jun|
27
多值Lukasiewicz逻辑公式的范式表示和计数问题
期刊论文
王庆平|王国俊|
28
双极信息的聚合与分解
期刊论文
王国俊|段景瑶|
29
模糊全蕴涵三I算法的鲁棒性
期刊论文
王国俊|段景瑶|
30
多值模态逻辑的计量化方法
期刊论文
时慧娴|王国俊|
31
Quantale中的模糊性与粗糙性
期刊论文
罗清君|王国俊|
32
Weakly algebraic ideal topology of effect algebras
期刊论文
Luo, Qing Jun|Wang, Guo Jun|
33
The classic symmetrical logic metric sub-space
会议论文
34
An axiomatic method for evaluating goodness of closed predicate propositions containing no function letters
会议论文
Wang Guo-Jun |
35
The affine transformation in quantitative logic
会议论文
Wang Qing-Ping|Wang Guo-Jun|
36
平衡逻辑公式在逻辑度量空间中的分布
期刊论文
胡明娣|
37
迁移系统关于一类时态逻辑公式的满足度
期刊论文
王庆平|时慧娴|罗清君|王伟|
38
Maximal contractions in Boolean algebras
期刊论文
时慧娴|王国俊|
39
概率计量逻辑及其应用
专著
40
Boole代数中极大滤子的刻画与Cantor三分集
期刊论文
罗清君|王国俊|
41
计量逻辑学中的线性逻辑公式
期刊论文
王庆平|王国俊|
42
Filters in Stone BL-algebras
会议论文
43
Many-valued modal logic metric spaces based on frames
会议论文
44
Boole代数中极大滤子的刻画与Cantor三分集
期刊论文
罗清君|王国俊|
45
平衡逻辑公式在逻辑度量空间中的分布
期刊论文
胡明娣|
46
计量逻辑学的基本思想和研究综述
期刊论文
王国俊|
47
Many-valued modal logic metric spaces based on frames
会议论文
Shi Hui-Xian|Wang Guo-Jun|
48
基于有限迁移系统的线性时态逻辑的计量化方法
期刊论文
时慧娴|王国俊|
49
经典命题逻辑中的一致结构与一致拓扑
期刊论文
罗清君|王国俊|
50
多值模态逻辑的计量化方法
期刊论文
时慧娴|王国俊|
51
适宜于展开模糊推理的两类模糊度量空间
期刊论文
王国俊|段景瑶|
52
Notes on “A survey of fuzzy implication algebras and their axiomatization”
期刊论文
罗清君|
53
计量逻辑学中的线性逻辑公式
期刊论文
王庆平|王国俊|
54
R0代数上的一致拓扑空间
期刊论文
罗清君|
55
计量逻辑学中的雪崩逻辑公式
期刊论文
王庆平|王国俊|
56
雪崩布尔函数的构造方法及个数估计
期刊论文
王庆平|
查看更多信息请先登录或注册
相关项目
1
多体系统纠缠描述和分布的研究
2
基于局部Rademacher复杂度的多标记模糊多核学习研究
3
量子关联在多体系统中的分布及其应用
趋势报告
国自然申请攻略干货全集(1月30日大更新)
【专业会员】独享&免费内容合集
2023年国自然二级学科资助率汇总
经验分享
国自然申请攻略干货全集(1月30日大更新)
【专业会员】独享&免费内容合集
2023年国自然二级学科资助率汇总
年份:
请选择
2022年
2021年
2020年
2019年
2018年
2017年
2016年
2015年
2014年
2013年
2012年
2011年
2010年
2009年
2008年
2007年
2006年
2005年
2004年
2003年
2002年
2001年
2000年
1999年
1998年
1997年
1996年
1995年
1994年
1993年
1992年
1991年
1990年
1989年
1988年
项目负责人:
单位名称:
提交
由于2020年国自然政策发生变化,若您身边有2020年获得过国自然的请提交一下