位置：成果数据库 > 期刊 > 期刊详情页
Weakly algebraic ideal topology of effect algebras
  • ISSN号：1439-8516
  • 期刊名称：Acta Mathematica Sinica-English Series
  • 时间：2015.5
  • 页码：787-796
  • 相关项目：谓词逻辑与模型检验中的计量化理论
作者： Luo, Qing Jun|Wang, Guo Jun|
同期刊论文项目
谓词逻辑与模型检验中的计量化理论
期刊论文 53 会议论文 16 著作 1
同项目期刊论文
Maximal contractions in Boolean algebras
On robustness of the full implication triple I inference method with respect to finer measurements
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-代数中同态核的结构刻画
期刊信息
  • 《数学学报：英文版》
  • 中国科技核心期刊
  • 主管单位:
  • 主办单位:中国科学院应用数学研究所
  • 主编：
  • 地址：北京中关村中科院数学所
  • 邮编：100080
  • 邮箱：
  • 电话：010-62551910
  • 国际标准刊号：ISSN：1439-8516
  • 国内统一刊号：ISSN：11-2039/O1
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国剑桥科学文摘,美国科学引文索引（扩展库）,日本日本科学技术振兴机构数据库,中国中国科技核心期刊
  • 被引量:164