BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。     

关于E~(n+1)中全臍超曲面和极小超曲面的一个注记

本文利用改进了的一般极大值原理,给出了n+1维欧氏空间E~(n+1)中利齐曲率下方有界的完备连通超曲面为全脐超曲面或极小超曲面的一个充要条件。     

点集

本文仅限于讨论直线上的点集。将实数的全体所成之集记为R。所述之"点"、"开区间"、"闭区间"等概念与数学分析中所述相同。此处所讨论的有关各类点、点集的概念以及它们所反映的数学思想不仅是实变函数的基础,而且对其它数学学科也是十分重要的。1极限点与内点设给定一个点集EMR,点X。eR。那么0。与E的关系只有两种可能：00eE或X。巨E。但若分析X。的"附近"与E的相互关系则可发现有下列情形：（a）存在一个开区间（a,则使xoE（a,P）且《a,P）－fx。1）OE＝O;（b）所有开区间（a,尸）只要有xoe（a,尸）就有卜,g）nE含至少2…     

E^n中稳定极小超曲面

局部证明了Ｙａｕ‘ｓ ｃｏｎｊｅｃｔｕｒｅ。获得如下定理：Ｍ为Ｅ＾ｎ中稳定极小超曲面且局部紧的，则Ｍ为超平面。     

关于余作用交叉积的顺从性

设δ为局部紧群G在C*代数A上的余作用，证明了对任一C*代数B有一G在AB上的余作用δ使得（A×δG）B≈（AB）×δG，因此得到若A顺从，则A×δG顺从．     

子空间均为子代数的李代数

本文对子空间均为子代数和的李代数，称为Ｓ，Ａ－李代数，进行了讨论。     

蕴涵BCK—代数的伴随半群

本证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格，进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数。     

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．