ZY3代数的理想和同构定理

本文讨论了ZY3代数的理想,并证明了同构定理8,9和11。定理8。设X是ZY3代数。若A是X的一个理想,则有同态f,使得X(?)X/A。定理9。设X_1与X_2是ZY3代数,且X_2中的基本二元关系“≤”是一个偏序。若X_1(?)X_2,则X_1/Ker f≌X_2。定理11。设X是ZY3代数。若A,K是X的理想,A(?)K,则X/A≌X/K/A/K。     

论代数公理化体系与中小学数学教学

数学公理化方法是研究数学的重要方法,代数公理体系是数学公理体系中的子系统.代数系统是集合连同满足某个公理体系的运算合称.中小学数学中处处体现公理化思想,因此在中小学数学教学中讲授代数公理化体系必要且可行.本文从公理化方法、代数公理体系、中小学代数教育及代数公理化在中小学教学中的作用几个方面来阐述.     

公理体系下的代数结构

本文建立了一个由代数公理(类似欧氏几何中的几何公理)所确定的代数系统,讨论了一些代数系统的结构问题.另外,介绍了对称差集和反对称差集.事实上,它们是群.最后,给出一些例子及结构图.     

ZY3代数中有限生成的理想

讨论了在ZY3代数中如何由集生成理想及其有限生成理想的特征。并指出ZY3代数中理想的定义与BCI-代数和BCK-代数中理想的定义相同。     

弱MV-代数与IMTL代数的关系及IMTL公理系统的简化

证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条.     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

关于BCK—代数与立体格公理系统

建立了关联ＢＣＫ代数与立体格公理系统的联系．     

关于几种逻辑代数定义的等价性讨论

目前常见的《逻辑代数》教材,如文〔1〕〔2〕〔3〕等,在逻辑代数公理化定义的处理上,均不考虑公理的独立性,这样作使得推导其它公式或定理比较方便,实用,但讨论公理的独立性,以加深对基本公理的了解,从而更好地理解逻辑代数的定义,是十分必要的,本文将对几种逻辑代数定义予以讨论,主要结果由定理示之。 首先,在文〔1〕中,将如下六条定律作为公理化定义的基本公理。     

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

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

区间集上R_0-代数的特征性质及其简化表示定理

论证区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。在引入两个新的运算算子的基础上,进一步讨论区间集上R0-代数的又一组基本特征性质。运用公理化思想简化了区间集上R0-代数表示形式的公理条数,以彰显其公理系统的相对独立性。     

关于BCK／BCI－代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数是蕴涵ＢＣＫ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”．     

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

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

The U-Kenmotsu Hypersurfaces Axiom and Six-Dimensional Hermitian Submanifolds of Cayley Algebra

Six-dimensional Hermitian submanifolds of Cayley algebra are considered.It is proved that if such a submanifold of the octave algebta complies with the U-Kenmotsu hypersurfaces axiom,then it is Khlerian.     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

相似关系粗糙集理论的一个极小公理组

粗糙集公理化是粗糙集理论研究的一个重要部分,其目的是用可靠且独立的公理组对粗糙集理论进行刻画,从而可以用逻辑和公理系统方法对粗糙集理论进行更为深入的研究．经典的粗糙集理论是基于等价关系的,但现实数据中存在更多的相似关系．为刻画基于相似关系粗糙集理论,给出了公理组S,它含有3个公理．证明了公理组的可靠性,它表明了用所给公理组刻画基于相似关系粗糙集理论的合理性．同时还证明了公理组的极小性,即公理组中每条公理是粗糙不等式且各公理是相互独立的．这些研究有助于粗糙集理论研究的深入和完善．     

仿射几何的公理体系

本文证明了,在欧氏几何Hilbert公理体系中,如果删去合同关系和合同公理,同时把平行公理强化成V’:“在同一平面上已知直线a和线外一点A。则过A点有且仅有一条直线b与a平行。”则得到三维仿射几何的公理体系。     

R_0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间（M,TM）,给出了导集、闭包以及内部的计算公式。证明了（M,TM）是连通的、覆盖紧的且满足第一可数性公理;（M,TM）满足第二可数性公理当且仅当主滤子之集是可数集,（M,TM）不是T1的,不是T2的,也不是正则的或正规的;（M,TM）是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

R0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

有界BCK—代数的一个简化公理系统

给出了有界BCK-代数一个新的公理系统,并证明了其中的各条公理是相互独立的.