局部有限BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

局部有限 BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

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

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

蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).     

正则FI-代数上的伴随算子

研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.     

Quantic格中的素元及相关问题研究

讨论了Quantic格与Quantale以及Quantic格与分配格的关系.证明了左侧Quantic格构成交换Quantale的充要条件是对任意的a、b、c∈Q,a→(b→c)=b→(a→c).给出Quantic格中素元与S-素元的概念,讨论了它们的一系列性质,得到Quantic格中素元的等价刻画,证明了S-素元在满足一定条件的映射f下的像是f(S)-素元.     

Stone代数的素理想与同余关系

用Ｓｔｏｎｅ代数的素理想集刻划了Ｓｔｏｎｅ代数的每一个同余关系，并证明了Ｃｏｎ（Ｌ）可以嵌入于Ｚ（Ｐ（Ｌ））中。由此证得了Ｓｔｏｎｅ代数的同余扩张性，并给出了Ｓｔｏｎｅ代数的同余理想用素理想集刻划的表达式     

正规软代数的素理想刻划

讨论了正规软代数的素理想与同余关系的性质，利用软代数的素理想和同余关系刻划了正规软代数。     

MS—代数的可分同余关系

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

MS—代数的同余扩张性

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

关于PMS-代数的同余格的一点注记

分别给出了Stone代数和PMS-代数中主同余关系的其它一些特征.特别地,证明了PMS-代数(S;∨,∧,*,,0,1)的同余格与所含MS-代数(S;∨,∧,,0,1)的同余格是一致的.     

双重Stone代数的素理想与同余性质

对于双重Stone代数L,以P(L)表示L的全体素理想组成的集,Con(L)表示L的同余关系格,XP(L)表示P(L)的幂集格的对偶格。本文用P(L)的子集刻划了双重Stone代数L的每一个同余关系,由此给出了双重Stone代数L关于次直不可约双重Stone代数的次直积表示和双重Stone代数的次直不可约类,并证明了Con(L)可以嵌入到XP(L)中。     

MS-代数的一类主同余关系

讨论了MS-代数的主同余关系的性质，当a=a^00或b=b^00时给出了MS-代数的主同余关系θ(a，6)的一个新的表达式．     

PMS-代数的同余理想

给出PMS-代数L的主同余θ（0,b）及θ（a,1）的一个新的刻划,利用这个刻划,得到理想I=（d]是同余理想的充要条件,从而断定L的同余理想只能是正则理想．     

分配格上的素理想与同余关系

众所周知,格L的任意一个素理想集都确定L的一个同余关系。本文讨论了相反的问题,指出仅当L是分配格时才能用素理想集确定其每个同余关系。进一步又证明了分配格的同余关系格可嵌入于它的素理想集的对偶幂集格。本文最后还给出了上述嵌入是同构的充分必要条件为L是局部有限的。     

弱 Stone-代数的同余三元组

目的研究弱Stone-代数同余的表示。方法构造同余三元组,并分析其性质。结果与结论一个弱Stone-代数L的任一个同余φ都可用同余三元组〈θ_1,θ_2,θ_3〉来表示,其中θ_1是布尔代数同余,θ_2,θ_3是格同余,并给出L是同余可换的充分条件。     

MS-代数的同余核

讨论同余关系θ的唯一性,其中θ是MS-代数L的以理想I为核的同余关系,主要结果有:(1)分别是L的同余核,d1≥d,如果以(d]为核的同余关系是唯一的,则以(d1]为核的同余关系是唯一的.(2)在商代数L/θ中,给出([d]]是同余核的充分必要条件.     

Heyting代数中同余关系的简化

给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。     

Fuzzy格中理想的最小同余扩张

刻画了Fuzzy格中理想的最小同余扩张，设I为Fuzzy格F的任一理想，令Tc(I)={x∈F|Ed∈I，使得x∧d’≤d∧d’)，则Tc(I)是F中包含I的最小同余理想．证明了正规Fuzzy格(或Kleene代数)F中，理想E={x∧x’|x∈F}的最小同余扩张是一个W-理想，即存在唯一的同余关系以它为核．     

余剩余格的理想和嵌入定理

基于余剩余格理论,给出了余剩余格的理想、主理想、素理想、极大理想和同态的概念,讨论了它们的性质,并引入距离函数,给出了余剩余格中的同余关系.研究得到余剩余格的嵌入定理,即满足预线性条件的余剩余格均可同构于一簇全序余剩余格乘积代数的子代数.