位置：成果数据库 > 期刊 > 期刊详情页
Boole代数中极大滤子的刻画与Cantor三分集
  • ISSN号：0583-1431
  • 期刊名称：数学学报(中文版)
  • 时间：2014.11.15
  • 页码：1221-1230
  • 分类：O153[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学与信息科学学院, [2]西安财经学院统计学院
  • 相关基金：国家自然科学基金资助项目(11171200);陕西省统计研究中心基金资助项目(12JD04)
  • 相关项目：谓词逻辑与模型检验中的计量化理论
作者： 罗清君|王国俊|
关键词： 极大滤子, 紧致Hausdorff拓扑, Cantor三分集
中文摘要：

清楚地刻画出有限和由无限可数个基本元生成的Boole代数中极大滤子的具体结构,在全体极大滤子之集上通过自然的方式引入一种紧致的Hausdorff拓扑,证明了当Boole代数可由无限可数个基本元生成时所得的拓扑空间与Cantor三分集同胚.

同期刊论文项目
谓词逻辑与模型检验中的计量化理论
期刊论文 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”
模糊全蕴涵三I算法的鲁棒性
线性时序逻辑基于DTMC 的计量化方法
雪崩布尔函数的构造方法及个数估计
平衡逻辑公式在逻辑度量空间中的分布
R0代数上的一致拓扑空间
适宜于展开模糊推理的两类模糊度量空间
计量逻辑学中的线性逻辑公式
多值模态逻辑的计量化方法
计量逻辑学中的雪崩逻辑公式
多值Lukasiewicz逻辑公式的范式表示和计数问题
线性时序逻辑基于DTMC的计量化方法
经典计量逻辑学中的仿射变换
L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法
NMG-代数中同态核的结构刻画
期刊信息
  • 《数学学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院数学与系统科学研究院数学研究院
  • 主编：李炳仁
  • 地址：北京市海淀区中关村东路55号
  • 邮编：100080
  • 邮箱：Actamath@amss.ac.cn
  • 电话：010-62551910
  • 国际标准刊号：ISSN：0583-1431
  • 国内统一刊号：ISSN：11-2038/O1
  • 邮发代号:2-502
  • 获奖情况:
  • 1996年中科院优秀科技期刊二等奖,1997年全国优秀科技期刊二等奖,2000年中科院优秀科技期刊二等奖
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:9981