位置：成果数据库 > 期刊 > 期刊详情页
蕴涵格的正规MP滤子与素滤子
  • ISSN号：1671-9352
  • 期刊名称：《山东大学学报：理学版》
  • 时间：0
  • 分类：O141.1[理学—数学;理学—基础数学] O153[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学研究所,陕西西安710062, [2]西安理工大学机械与精密仪器工程学院,陕西西安710048, [3]安康学院数学系,陕西安康725000
  • 相关基金：国家自然科学基金（10771129）;2006年安康学院科研基金（2006AKXY012）
作者： 胡明娣[1,3], 楼志刚[2,3]
关键词： 蕴涵格, 正规MP-滤子, 素滤子, implication lattice, normal MP-filter, prime filter
中文摘要：

在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素滤子的概念，研究了它们的特征性质，讨论了正规MP-滤子和MP-滤子之间的关系，得到正规MP-滤子是MP-滤子的结论，证明了蕴涵格的素滤子定理。它们是R0-代数或MV-代数上相应滤子的性质的共同特征。

英文摘要：

The concepts of MP-filters, generated filters, normal MP-filters and prime filters in imphcation lattice were intro- duced. Their basic properties were investigated, and the structure of generated filters was obtained. The results show that the normal MP-filters are MP-filters. All the results are the common characters of the corresponding filter theories of Ro-algebras or MV- algebras.

同期刊论文项目
知识推理的计量化与随机化研究
期刊论文 62
同项目期刊论文
基于有限迁移系统的线性时态逻辑的计量化方法
迁移系统关于一类时态逻辑公式的满足度
BL代数中极大滤子的拓扑性质
经典命题逻辑中的一致结构与一致拓扑
计量逻辑学的基本思想和研究综述
经典命题逻辑中的近似推理与强近似推理
R0代数上的一致拓扑空间
计量逻辑学中的线性逻辑公式
剩余格中的Fuzzy(P)滤子的结构
计量逻辑学中的雪崩逻辑公式
匕ukasiewicz三值命题逻辑中公式的可靠真度理论
对称逻辑公式在L3^＊逻辑度量空间中的分布
具定号系数多滞量AFDE的振动性
L3^＊系统中逻辑度量空间的拓扑性质
模糊模态逻辑系统MLuk中的可达广义重言式
Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布
关于K的三种模糊模态逻辑
一类AFDE的振动性及其应用
网页源码抓取方法的设计与实现
逻辑方程解的性质
用模糊Galois联络对L-模糊粗糙集进行公理化刻画
D-逻辑度量空间中的相容理论
系统L^＊中极大相容理论的结构刻画和紧致性定理
基于ASP．NET的数据迁移方法
逻辑系统MTL_▽及其完备性
广义三角模和广义剩余蕴涵之间的对应关系
命题逻辑中广义MP问题的合理解
逻辑系统Gn中理论的真度概念及其应用
逻辑伪度量空间中的孤立点
命题逻辑系统Ln中公式集上的真度函数
n值标准逻辑系统中的随机化研究
广义MP问题的三I真度解
模糊推理三Ⅰ约束算法的一般表示
经典推理模式的随机化研究及其应用（Ⅱ）
关于随机真度的若干注记
标准序列逻辑系统S3中公式的概率真度理论
三值Godel命题逻辑系统的随机化
一种非均匀概率空间下逻辑系统G3中命题的真度理论
关于三值R0命题逻辑系统的若干注记
模糊推理三Ⅰ算法的还原性
n值逻辑系统L_n~*中广义重言式的计量化研究
经典逻辑度量空间上的反射变换
逻辑系统Ln中的真度、发散度与相容度的分布
三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
概率逻辑学基本定理在多值命题逻辑系统中的推广
具有振动系数AFDE的振动性
正则蕴涵算子所对应的逻辑伪度量空间
逻辑系统NMG的满足性和紧致性
命题逻辑系统中理论的真度概念及其应用
三值R0命题逻辑系统中理论的随机发散度
基于支持度理论的广义MP问题的形式化解
模态R代数与模态滤子的若干性质
Tableau-based算法的改进与有限步终止定理
模糊模态逻辑中的永真式与准永真式
三值R0命题逻辑系统的随机化
基于VBS的IP地址自动配置方法
广义MP问题的α-三Ⅰ解的形式化理论
期刊信息
  • 《山东大学学报：理学版》
  • 北大核心期刊（2011版）
  • 主管单位:中华人民共和国教育部
  • 主办单位:山东大学
  • 主编：刘建亚
  • 地址：济南市经十路17923号
  • 邮编：250061
  • 邮箱：xblxb@sdu.edu.cn
  • 电话：0531-88396917
  • 国际标准刊号：ISSN：1671-9352
  • 国内统一刊号：ISSN：37-1389/N
  • 邮发代号:24-222
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,英国英国皇家化学学会文摘
  • 被引量:6243