R0代数中的蕴涵滤子与同余关系

最近,王国俊教授建立了Ｒ０代数理论,为模糊逻辑提供了一种新的代数结构＾「１」。本文在Ｒ０代数中引入蕴涵滤子及同余关系的概念,并且讨论蕴涵滤子与通常代数滤子的关系,还给出了蕴涵滤子和同余关系的若干重要性质。     

Heyting代数定义的简化

Heyting代数是一类重要的代数。我们指出Heyting代数定义中的某个条件可略去，从而简化定义。     

Heyting代数中的直觉模糊滤子

定义并讨论了Heyting代数中的直觉模糊滤子及其性质.给出了直觉模糊格滤子与直觉模糊滤子的关系,得到了直觉模糊滤子的几个等价条件.     

MS—代数的可分同余关系

将格上可分同余关系的概念推广到MS－代数上并讨论了MS－代数上可分同余关系的性质,利用这些性质得到了同余关系格θ（L)为布尔代数的MS－代数的结构定理。     

MS——代数的主同余关系

给出了MS－代数的主同余关系的一个刻划，讨论了MS－代数的一类主同余关系的性质，推广了文[1]中的结果。     

MS—代数的同余扩张性

刻划了ＭＳ－代数的素理想生成的同余关系，由此刻划证明了ＭＳ－代数具有同余扩张性。     

软代数的素理想与同余关系的注记

讨论了非分配软代数F的素理想表示同余关系的问题，指出非分配软代数F的同余关系θ可素理想表示的充要条件是F／θ是软代数，以Con(F)表示F的同余关系格，PCon(F)表示F的全体可由素理想表示的同余关系，证明了按照Con(F)中偏序关系，PCon(F)构成Con(F)的一个子格，并且PCon(F)可嵌入于F的全体素理想集Z（F）的对偶幂集格^↑P（Z（F））中。     

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

利用模糊数学和格论的思想方法,在EQ-代数中引入了L-模糊滤子的概念,得到了L-模糊滤子的一个等价刻画,证明了全体L-模糊滤子之集是序完备的EQ-代数。同时还研究了L-模糊滤子与EQ-同态和EQ-同余的关系,得到了EQ-代数中的基本同态定理。文中的结果是对EQ-代数中模糊前滤子理论的补充和完善。     

MS-代数的主同余关系的注记

研究MS代数的主同余关系的可补性,给出了MS代数的主同余关系是可补的充要条件。     

Heyting代数的模糊滤子格

结合模糊集和滤子理论,对Heyting代数的模糊滤子概念作进一步研究。引入Heyting代数的由一个模糊集生成的模糊滤子的概念并获得了它的表示定理。在Heyting代数的全体模糊滤子之集上定义了格运算和蕴涵运算,证明了按此方式定义了格运算和蕴涵运算之后,全体模糊滤子之集形成一个完备Heyting代数的结论。     

Heyting代数成为Boole代数的条件及其特征

给出了Heyting代数成为Boole代数的几个充要条件.即Heyting代数H(,→)为Boole代数当且仅当如下条件之一成立:■a=a,■a∨a=1;或■H=H(■a=a→0).并研究了Heyting代数的自身特征.     

Tarski代数和模态代数的主同余

研究了Tarski代数和模态代数的主同余。结合布尔代数的主同余的结果,给出Tarski代数和模态代数的主同余的刻画。     

Heyting代数的若干性质

Ｈｅｙｔｉｎｇ代数的若干性质黄文平（陕西师范大学数学系，西安７１００６２；作者，男，３６岁，副教授）设Ｌ＝（Ｌ，≤）是一个偏序集，如果Ｌ的每个有限子集Ａ都有上确界（记为∨Ａ）和下确界（记为∧Ａ），则称Ｌ是一个格．这时，空集的上确界与下确界分别是Ａ的最...     

模m同余关系的进一步讨论

模ｍ同余关系的进一步讨论刘晓霞（西北大学计算机科学系，西安７１００６９；作者，女，３０岁，讲师）定义１［１］设ｕ＝〈Ｘ，＊，＋，△，…，〉是代数系统，若Ｘ中的等价关系Ｅ还对Ｘ中任意元素ｘ１，ｘ２，ｙ１和ｙ２，这里ｘ１Ｅｘ２，ｙ１Ｅｙ２关于所有运算“...     

关于同余关系的几种证明

由陪集的定义解释问题，首先确定了ρ是G中的一个等价关系，然后给予了ρ是同余关系的几种证明。     

由L-fuzzy半群上的L-fuzzy关系生成的L-fuzzy同余关系

给出了由L-fuzzy半群上的L-fuzzy关系生成的L-fuzzy同余关系.     

有界Heyting代数上基于理想的一致拓扑空间

为了利用拓扑学工具研究有界Heyting代数的性质和结构问题,基于由理想概念诱导的一类同余关系在有界Heyting代数(H,≤,→,0,1)上构造一致拓扑空间(H,τ)并考察其基本性质和拓扑性质,证明了(H,τ)是非连通的局部连通、局部紧、零维、第一可数的完全正则空间,(H,τ)是T1空间当且仅当(H,τ)是Hausdorff空间,获得了(H,τ)成为离散空间和紧致空间的充要条件,指出了(H,≤,→,0,1)中格运算和蕴涵运算关于一致拓扑τ都是连续的,从而构成拓扑有界Heyting代数。同时,讨论了(H,τ)的商空间性质。