蕴涵格的滤子及同余关系

来源 :数学研究 | 被引量 : 0次 | 上传用户：greathuhao

【摘要】

：

在蕴涵格中引和了蕴涵滤子的概念，讨论了蕴涵滤子的一些基本性质，并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格，以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

【作者】

：

朱怡权朱冀平

【机构】

：

肇庆学院数学系,华中科技大学水电与数字化学院

【出处】

：

数学研究

【发表日期】

：

2002年2期

【关键词】

：

蕴涵格蕴涵滤子同余关系商蕴函格 implication lattice implication filter congruence relation

【基金项目】

：

湖北省教育厅科学研究自然类重点项目 (98A0 6 7)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

河南省普通高校体育专业网球课的课程设置的研究

我国普通高校不仅承担着网球运动推广的重任,还要担负着网球科研的责任,普通高校开展网球运动有助于实现“健康教育,终身体育”的目标。随着网球运动的不断普及,对网球教练的

期刊

高校体育专业网球运动网球课课程设置体育专业学生课时量普修课女子网球网球教学网球项目

天祝白牦牛肾组织成纤维细胞系的建立与生物学特性研究

采集天祝白牦牛胚胎肾组织,用胰蛋白酶热消化法制备原代细胞,通过差速消化和差速贴壁法继代培养和细胞纯化,扩增至F3代后冷冻保存,并对复苏细胞的形态、活力、生长曲线、荧光

期刊

天祝白牦牛肾组织成纤维细胞系生物学特性Tianzhu White yaks kidney explant fibroblast cell lin

关于半群环与群环的链条件的等价性

给出了将半群环的链条件转化为群环的链条件的一十定理，并由此将[1]中的结果推广到半群环的情形。

期刊

半群环群环链条件摹群可逆元子群Semigroup ring Right Noetherian semigroup ring Right Artin

三次系统存在一类双纽线分界线环充要条件

给出了中心对称三次系统存在一类双纽线分界线环的充要条件，并举出此系统至少还存在四个扳限环的(2．2)分布的例子。还举出了中心对称三次系统至少存在六个极限环作(3．3)分布以及

期刊

三次系统充要条件极限环双纽线中心对称存在分界线Central Symmetriacl Cubic System Double folium S

“谈客”李奇山的办案人生

电影《英雄本色》中,哥哥宋子豪是黑道上响当当的人物,弟弟宋子杰却是正义凛然的年轻警官。两人因身份冲突,上演了一出风起云涌的曲折故事。早年在公安系统从事扫黑除恶、而

期刊

人生办案《英雄本色》身份冲突公安系统人物达州市警官

当官者为子孙留什么？

《三国志·诸葛亮传》载，诸葛亮去世之后，后人清理他的遺物时发现，他的家产确实只有他在遗产中申报的两笔：一是成都郊区有八百株桑树，二是贫瘠之田十五顷，据测算这仅相当于当时中等人家的财产。　　但他却感到子孙后代靠这些家产不仅能维持基本生活，肯定还有些富余。人们不禁会问堂堂蜀汉丞相他的家产何止这么点，实际上却恰恰如此。他出将入相，执掌朝政数十年，统帅六军南征北战大半生，除随身衣物和日常伙食由国家供给之

期刊

处世哲学

逻辑L′ω1ω及其上的几个保持性定理

在无限长逻辑L ω1ω的一个子逻辑L ′ω1ω上建立了几个保持性定理.

期刊

пn语句常量引理保持性定理抽象模型论逻辑∏n sentence constant lemma preservation Theorem

木聚糖酶对肉鸡肠道碱性氨基酸转运载体mRNA表达的影响

480只健康的1日龄父母代黄羽肉鸡随机分为A、B2组，每组6个重复，每个重复40只鸡。A组饲喂小麦基础日粮，B组饲喂小麦基础日粮添加木聚糖酶（木聚糖酶在日粮中的含量为1．2×10^4U／k

期刊

肉鸡肠道木聚糖酶氨基酸转运载体MRNA表达chicken intestine xylanase amino acid transporter

蒙古马血液蛋白（酶）遗传多态性及聚类分析

采用垂直平板不连续聚丙烯酰胺凝胶电泳技术对221匹蒙古马（包括乌珠穆沁马、乌审马、锡尼河马和巴尔虎马）的8种血液蛋白进行多态性检测。计算了各位点的基因型频率、等位基因频