EQ-代数中的L-模糊滤子与EQ-同余.pdfVIP

西北大学学报 (自然科学版) 2014年 12月，第44卷第6期，Dec．，2014，Vo1．44，No．6 JournalofNorthwestUniversity(NaturalScienceEdition) EQ一代数 中的 一模糊滤子与 EQ·同余 侯如乐 ，刘 妮 (陕西师范大学 数学与信息科学学院，陕西 西安 710062) 摘要 ：利用模糊数学和格论的思想方法，在 EQ一代数 中引入 了，J．模糊滤子 的概念，得到 了 一 模糊滤子的一个等价刻画，证 明了全体 一模糊滤子之集是序完备的EQ．代数。同时还 研究了 一模糊滤子与EQ-同态和EQ．同余的关系，得到了EQ一代数 中的基本 同态定理。文 中的结果是对EQ一代数 中模糊前滤子理论的补充和完善。 关 键 词 ：EQ一代数 ；L一模糊滤子 ；EQ-同态；EQ一同余 中图分类号：0159 文献标识码 ：A 文章编号：1000—274X(2014)06-0876-06 TheL-·fuzzyfiltersandEQ--congruencesinEQ--algebras H0U Ru．1e．LIU Ni (CollegeofMathematicsandInformationScience，ShaanxiNormalUniversity，Xian710062，China) Abstract：Byusingthemethodsandthoughtoffuzzymathematicsandlatticetheory，theconceptofL—fuzzy filtersinanEQ—algebraisintroduced，anequivalentcharacteristicofL—fuzzyfiltersisobtained，anditis provedthatthesetofallL-fuzzyfiltersisanorderlycompleteEQ—algebra．Moreover，therelationshipsamong EQ—homomorphisms，EQ—congruencesandL-fuzzyfiltersarestudied，andthebasichomomorphismtheoremis obtained．TheresultsinthispaperarethesupplementandperfectionforthetheoriesoffuzzyprefihersinEQ- algebras． Keywords：EQ—algebra；L—fuzzyfilter；EQ—homomorphism；EQ—congruence 在经典逻辑和多值逻辑的公式推演 中，(MP) 的概念 ，并对其性质进行 讨论 。在此基础上 ，基 规则都起着至关重要的作用，而与其对应的代数 于完备剩余格 ，本文引入了EQ．代数中 一模糊 结构正是滤子。为了研究模糊类型理论中真值构 滤子的概念 ，主要讨论了 一模糊滤子的性质，得 成 的代数系统和解决逻辑证明中的若干 问题， 到了 一模糊滤子的等价刻画，并研究了L．模糊滤 VilemNovak提出了EQ一代数的概念，并对几类特 子与EQ一同态、EQ一同余之问的关系。最后引用文 殊 EQ一代数、EQ一代数 中的滤子等进行 了研 献 [12]的思想 ，得到了EQ一代数中的基本同态定 究 ¨叫 。文献 [5]引人了EQ一代数 中蕴含前滤子 理 。 和正蕴含前滤子的概念 ，并讨论了它们之间的关 系。文献 [6]引入 了GLE一代数的概念，并利用 1 预备知识 GLE一代数对相容的EQ一代数进行了刻画。应用模 糊数学的思想 ，文献[8—10]分别对 BL一代数和 定义 1 如果 =(E，八， ，～，1)是一 Quantale中的模糊滤子(L一模糊滤子)进行了系统 个 (2，2，2，0)型代数，且 Va，b，d∈E满足： 的研究。文献 [11]引入 了EQ一代数 中模糊前滤子