关于确界及确界原理的教学

从给出确界的四个等价定义入手，通过例题分析，揭示了确界的内涵及应用确界原理的一般原则。     

关于确界概念教法探讨

本文通过分析确界概念的三种等价定义,举例说明了如何灵活运用这个概念来解决具体问题。     

关于确界概念教法探讨

本文通过分析确界概念的三种等价定义,举例说明了如何灵活运用这个概念来解决具体问题。     

确界定理与连续函数两个基本定理

文章就确界定理上确界问题予以证明,并得到了推广的确界存在定理。接着又对连续函数的最大值与最小值问题予以讨论并得出定理。     

一个确界命题的推广及证明

在数学分析中,实数集的确界原理反映了实数的一个重要特性——完备性,它也是数学分析的理论基础．本文利用数学美的和谐性原理,把一个函数之和形式的确界命题加以推广,得到了函数之积形式的确界命题,使问题得到了深化、延伸,并且给出了证明．该结论对于数列也成立．     

确界原理的一个简单证明

用反证法给出了确界原理的一个简单证明。     

确界定理新证

本文给出了确界定理的一种新的证明方法。     

并半连续格的映射性质

在半素滤子上,引出了并半连续格,并主要讨论了并半连续格之间的一些映射性质.     

确界原理的证明

本文通过建立两个引理并应用实数的正规表示，结出了数学分析中确界存在原理的严格证明。     

关于数集确界的一个注记

给出实数集上、下确界的一个命题,并用其方便地解决初等数学中一类不等式恒成立问题。     

BCK代数的伴随代数(英文)

给出了BCK代数的一个等价公理 ,讨论了BCK代数的伴随代数     

关于BCK-代数的一个应用问题

通过关联BCK-代数主滤子概念,建立了BCK-代数与立体格公理系统的联系,同时应用该联系给出了M-R公开问题一个肯定的答复。     

差代数的伴随代数

研究了差代数（Ｘ；＊，≤，０）以及广义结合差代数的伴随代数；指出了一个差代数（Ｘ；＊，≤，０）的所有伴随代数都是同构的；广义结合差代数的伴随代数是同构的．     

Fuzzy幂集格(非汉字符号)(X)中的Brouwer伪补

讨论Fuzzy幂集格■（X）中的Brouwer伪补的21种型式,并建立了这种伪补的若干性质．     

格序群的同余格

用泛代数的方法研究了格序群上的同余关系,证明了一个格序群的同余格与它的ｌ－理想格是同构的。     

关于相对补格的一个注记

本注记中,我们把Nachbin关于布尔格的一个定理推广到相对补格。我们证明：一个分配格是相对补格当且仅当由它的素理想所组成的序集是一个反链。     

预余Quantale态射及其性质

给出了预余Quantale态射的概念,证明了预余Quantale中的特殊元在预余Quantale态射的左伴随下不变的性质,找到了预余Quantale中态射与蕴含运算的关系,得到了预余Quantale上的一个开映射是预余Quantale态射的充要条件.     

格蕴涵代数的一个简化公理系

将格蕴涵代数的公理系由原来的19条公理简化为7条公理,从而为检验一个（2,2,2,1,0,0)型代数是否为格蕴涵代数提供了方便。     

格蕴涵代数的性质

在文献[6]中,通过在一格蕴涵代数L与它的素理想空间上的开闭下集构成的格蕴涵代数{Xa｜a∈L}之间引入一映射,得到了格蕴涵代数L的一个表示。利用集合列的极限对格蕴涵代数的表示进行了讨论,得出了格蕴涵代数的表示中单调集合列及一般集合列无限运算的一系列性质;又根据格蕴涵代数与格蕴涵代数的表示之间是同构的,进而得出了格蕴涵代数中任意子集无限运算的若干性质。