Heyting代数与剩余格

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

Heyting代数的布尔原子及其应用

利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。     

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

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

Heyting代数定义的简化

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

正则FI代数及其伴随代数

引入了正则FI代数伴随代数的概念，研究了该伴随代数与Boolean代数的联系；同时讨论了正则FI代数许多有趣的性质。     

完备格上的张量积

本文讨论了完备格上张量积的一个有意义的性质:A、B是完备的Heyting代数,当且仅当A与B的张量积是完备的Heyting代数。     

Heyting代数上的运算与nucleus

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

Heyting代数上的运算与nucleus

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

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

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

Heyting代数上的运算与nucleus

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

Heyting代数的模糊滤子格

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

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

基于8种常用蕴涵算子上的模糊布尔代数

在文献[1]的基础上,利用不等式的刻画方法,给出8种常用的R-蕴涵算子下的R-模糊布尔代数的8种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

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

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

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

群之新基本特性在广义 Boole 代数上的推广

将汤澡真先生的群之新基本特性一文的结果推广到广义Boole 代数上去,同时把陈昭木先生关于群之新基本特性的推广一文中对于Boole 代数所得的结果作为本文的推论.     

Heyting代数的若干性质

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

MV-代数上的f导子和g导子

利用 MV-代数的自同态,将 MV-代数上的（⊙, ）导子和（ ,⊙）导子进行了推广,引入了 f 导子和 g 导子,研究了它们的相关性质。得到了 g 导子 d 的不动点集 Fd （M） g 是 M 的理想;保序的 f 导子 d 的不动点集 Fd（M） f是 M的理想,并用 g 导子的相关性质刻画了布尔代数和线性布尔代数。最后讨论了 f 导子和 g 导子之间的关系。     

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

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