位置：成果数据库 > 期刊 > 期刊详情页
一类一阶逻辑公式中的公理化真度理论及其应用
  • ISSN号：1674-7267
  • 期刊名称：中国科学:信息科学
  • 时间：2012.5.20
  • 页码：648-662
  • 相关项目：谓词逻辑与模型检验中的计量化理论
作者： 王国俊|
同期刊论文项目
谓词逻辑与模型检验中的计量化理论
期刊论文 53 会议论文 16 著作 1
同项目期刊论文
Maximal contractions in Boolean algebras
On robustness of the full implication triple I inference method with respect to finer measurements
Weakly algebraic ideal topology of effect algebras
Quantale中的模糊性与粗糙性
双极信息的聚合与分解
L3*中逻辑公式的范式表示及对称逻辑公式的构造方法
A unified integrated method for evaluating goodness of propositions in several propositional logic s
基于有限迁移系统的线性时态逻辑的计量化方法
迁移系统关于一类时态逻辑公式的满足度
BL代数中极大滤子的拓扑性质
经典命题逻辑中的一致结构与一致拓扑
计量逻辑学的基本思想和研究综述
经典命题逻辑中的近似推理与强近似推理
Notes on “A survey of fuzzy implication algebras and their axiomatization”
Boole代数中极大滤子的刻画与Cantor三分集
模糊全蕴涵三I算法的鲁棒性
线性时序逻辑基于DTMC 的计量化方法
雪崩布尔函数的构造方法及个数估计
平衡逻辑公式在逻辑度量空间中的分布
R0代数上的一致拓扑空间
适宜于展开模糊推理的两类模糊度量空间
计量逻辑学中的线性逻辑公式
多值模态逻辑的计量化方法
计量逻辑学中的雪崩逻辑公式
多值Lukasiewicz逻辑公式的范式表示和计数问题
线性时序逻辑基于DTMC的计量化方法
经典计量逻辑学中的仿射变换
L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法
NMG-代数中同态核的结构刻画