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

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

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

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

关于P-半单BCI-代数的一组等价公理系的讨论

研究了P半单BCI-代数的等价公理系，指出公理系间的不可替代性．引入了P-半单拟BCI-代数，并讨论了它的性质，从中得出了结合BCI-代数的一组简单公理系．     

关于BCI—代数的分支

给出了在同一分支的元素的几个特征，并且推导出与分支有关的一些性质。     

关于BCI—代数的BCI—G部分

本文讨论了BCI-代数的BCI-G部分成为理想的等价条件.     

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

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

关于BCI－代数的不动点

在ＢＣＩ－代数中引进不动点的概念，对含有不动点的ＢＣＩ－代数进行刻划，证明了具有不动点的真ＢＣＩ－代数等价子ＢＣＫ－代数的一点扩张；每个元都是不动点的ＢＣＫ－代数等价于可解ＢＣＫ－代数．     

BCI拓扑代数的几个代数问题

BCI拓扑代数的几个代数问题@胡庆平...     

蕴涵BCK-代数与剩余半群

给出了蕴涵ＢＣＫ－代数的伴随半群作为剩余半群的若干特征，从半群的角度对这类ＢＣＫ－代数予以刻画，说明其伴随半群Ｍ（Ｘ）关于剩余运算“∶”作成一个蕴涵ＢＣＫ－代数，并且Ｍ（Ｘ）与Ｍ（Ｍ（Ｘ））是同构的     

具有条件（S）的BCK－代数运算的分配性

给出具有条件（Ｓ）的ＢＣＫ－代数关于运算“”的一些性质，证明了此类ＢＣＫ－代数对运算“＊”和“”分别关于“∨”及“∧”是可分配的，同时若Ｘ是正关联的，则ｘｙ＝ｘ∨ｙ．     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

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

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

代数替换公理与对偶原理

提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理．通过这两个规律，极大地简化和统一了布尔代数中的运算规律和运算公式．在布尔代数中，A的非与A的对偶本质上是一回事．对偶本质上是一种对称的关系．一个代数表达式（这里的表达式是一个广义的概念，它可以是一个变量，一个常量，一个逻辑函数，一个集合表达式等）的对偶，等于该表达式中的每个元素（如变量、常量、运算符、关系符等，对偶算子除外）分别同时取其对偶，并保持原来的运算次序不变（也即原表达式中的对偶算子和括号位置不变）；对于关系表达式而言，原表达式与其对偶表达式必然同时正确或同时错误，这一规律叫做对偶原理．     

代数替换公理与对偶原理

提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理．通过这两个规律,极大地简化和统一了布尔代数中的运算规律和运算公式．在布尔代数中,A的非与A的对偶本质上是一回事．对偶本质上是一种对称的关系．一个代数表达式(这里的表达式是一个广义的概念,它可以是一个变量,一个常量,一个逻辑函数,一个集合表达式等)的对偶,等于该表达式中的每个元素(如变量、常量、运算符、关系符等,对偶算子除外)分别同时取其对偶,并保持原来的运算次序不变(也即原表达式中的对偶算子和括号位置不变);对于关系表达式而言,原表达式与其对偶表达式必然同时正确或同时错误,这一规律叫做对偶原理．     

网络经济学的公理体系和几个相关理论问题

网络经济学的产生对传统经济学理论提出了挑战，但是网络经济学的理论发展远远落后于实践．提出了六大主观资源的概念，并超出了注意力经济的范畴．文中所采用的方法除经典数学方法外，主要采用模糊数学来描述网络经济中主观资源的特点，揭示网络经济的本质特征和规律，尝试建立网络经济学的公理体系．     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．