【11171200】谓词逻辑与模型检验中的计量化理论国家自然基金项目

谓词逻辑与模型检验中的计量化理论

项目批准号： 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	雪崩布尔函数的构造方法及个数估计	期刊论文	王庆平\|

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享