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

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 雪崩布尔函数的构造方法及个数估计 期刊论文 王庆平|
查看更多信息请先登录或注册