Locale连通性（Ⅰ）

引进 Locale 连通性的合适定义,证明了一个拓扑空间 X 的开集格是连通 Locale 当且仅当 X 是连通空间,同时还给出了连通 Locale 的一些性质。     

Heyting代数上的运算与nucleus

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

否定非对合剩余格的双极值模糊理想格

对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

条件并半格上的相对极大理想

引入偏序集上的相对极大理想的概念,证明在任意的条件并半格中的一个理想是相对极大理想当且仅当它是理想格中的完全并即约元,最后给出了Heyting代数中相对极大理想的一个等价刻画.     

Heyting代数定义的简化

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

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

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

基于非经典逻辑的拓扑及其应用

本文给出了基于非经典逻辑的拓扑的一个统一的框架，综述了作者及其合作者近年来在此课题上所取得的一系列结果，指出了这些结果在其它一些课题中的应用及进一步的发展方向。     

有界蕴涵BCK-代数的伴随半群

引用偏序半群中剩余的概念,对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论,证明了M（X）是一个有补格,模格,进一步证明了M（X）是一个Heyting代数。     

关于连续函数格C（X，R￣＊）的一个注记

证明了如下结果：若拓扑空间Ｘ的开集格Ω（Ｘ）满足Ｖ－无穷分配律，则连续函数格Ｃ（Ｘ，Ｒ）是完备Ｈｙｔｉｎｇ代数