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

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

Heyting代数上的运算与nucleus

在有零元的Heyting代数上定义了一种运算 ,并讨论了这种运算和Heyting代数上nucleus的一系列性质.     

Heyting代数与剩余格

证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。     

Heyting代数上的运算与nucleus

引入了Heyting代数上的 运算与nucleus,并且讨论了Heyting代数上的 运算以及Heyting代数上的nucleus的一系列性质.     

完备Heyting代数的L—fuzzy谱

本文目的在于对任一完备Heyting代数M,引入M的L-fuzzy素元的概念,并在这些L-fuzzy素元之集上赋予一自然的L-fUzzy拓扑,这样得到的L-fuzzy拓扑空间称为M的L-fuzzy谱.其次讨论该拓扑空间的拓扑性质与M的代数性质及M的分明谱之间的关系.文中L记一具有逆序对合对应的完全分配格,M,N记完备Heyting代数.f:M→N称为frame映射,若f保并及有限交.     

Heyting代数的模糊滤子格

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

Heyting代数上的(×)运算与nucleus

引入了Heyting代数上的(×)运算与nucleus,并且讨论了Heyting代数上的(×)运算以及Heyting代数上的nucleus的一系列性质.     

关于正则原子Boole代数的注记

定理如果正则原子Boolean代数有带尾元0的散元a,b,則a~+⊙b~+属于带尾元(a~+∧b)∨(a∧b~+)的散元a~-⊙b~-. 为证此定理先证下面的引理. 引理设{X_n}属于带尾元0的映生元a=(a_0,a_1,a_2,…,a_k,0,0,…),而{y_n}属于带尾元u_0的映生元b=(b_0,b_1,b_2,…,b_i,0,0,…),那末{x_n}·{y_n}属于带尾     

Heyting代数定义的简化

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

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

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

布尔函数与布尔多项式

布尔代数B上的n元布尔多项式f（x1,…,xn）可以表为f（x1,…,xn）=∑f（a1,…,an）x1^a1…xn^an的形式．设Fn与F^-m分别是布尔代数B上全体n元布尔函数与全体n元布尔多项式的集合,则Fa=F^-a当且仅当B是逻辑代数．     

布尔行列式及其性质

在布尔代数上引入多种意义下的行列式,主要讨论了det1(A)和det2(A)的性质,并推广了各行列式的性质,得到一些交换体上行列式不曾具有的结论.     

Heyting代数上的运算与nucleus

在有零元的Heyting代数上定义了一种运算(○×),并讨论了这种运算和Heyting代数上nucleus的一系列性质.     

关于Heyting代数公理系统的一个注记

Ｈｅｙｔｉｎｇ代数是一类重要的代数，很多数学结构都与这一代数有联系。在本文，我们指出，Ｈｅｙｔｉｎｇ代数的公理系统中的一个条件是多余的。     

Heyting代数中同余关系的简化

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

原子布尔代数理论的计算复杂性

运用Ｅｈｒｅｎｆｅｕｃｈｔ Ｇａｍｅｓ理论给出原子布尔代数理论的一个判定过程及其复杂度,并说明这个过程在初等等价意义下是最优的。