排序方式: 共有31条查询结果,搜索用时 15 毫秒
1.
Antoni Torrens 《Mathematical Logic Quarterly》1994,40(4):431-444
In this paper we characterize the MV-algebras containing as subalgebras Post algebras of finitely many orders. For this we study cyclic elements in MV-algebras which are the generators of the fundamental chain of the Post algebras. Mathematics Subject Classification: 03G20, 03G25, 06D25, 06D30, 06F15, 06F35. 相似文献
2.
We study Dedekind complete commutative BCK-algebras with the relative cancellation property and their connection with corresponding universal groups. We shall characterize Dedekind orthogonally complete atomic and Archimedean BCK-algebras, generalizing results of Jakubík known for MV-algebras. Finally, we characterize those Dedekind complete and atomic commutative BCK-algebras that are isomorphic to direct products of basic BCK-chains, generalizing a result of Cignoli for MV-algebras. 相似文献
3.
4.
On ideals and congruences in bcc-algebras 总被引:10,自引:0,他引:10
We introduce a new concept of ideals in BCC-algebras and describe connections between such ideals and congruences. 相似文献
5.
6.
本文推广了文献中的有限BCK-代数子代数个数估计定理,给出了任意BCK-代数的子代数个数下界的一个估计。对于n阶BCK-代数和n阶半直接既约交换BCK-代数,本文分别给出了其子代数个数下界的较具体的表达公式。另处我们还讨论了互不同构的n阶BCK-代数的个数的下界值的估计问题。 相似文献
7.
引入了BCK-代数的范数与距离的概念,给出了赋范BCK-代数的一些基本性质,证明了赋范BCK-代数的同构(同态)像和原像仍是赋范BCK-代数,研究了BCK-代数与BCK-代数笛卡儿之间的赋范性质关系.并且引入了赋范BCK-代数的点列极限概念,研究了极限的相关性质.讨论了有界赋范BCK-代数的与模糊BCK-代数的关系. 相似文献
8.
《International Journal of Approximate Reasoning》2014,55(8):1643-1658
The theory of fuzzy implication algebras was proposed by Professor Wangming Wu in 1990. The present paper reviews the following two aspects of studies on FI-algebras: concepts, properties and some subclasses of FI-algebras; axiomatization of the class of FI-algebras and some of its important subclasses. The main results are summarized in the current paper, the relationships between FI-algebras and several classes of important fuzzy algebras are discussed, such as BL-algebras, MTL-algebras, and residuated lattices, and propositional calculus systems of several special classes of FI-algebras are shown. 相似文献
9.
在本文中,证明了每一个正关联BCK-代数X均可嵌入于具有条件(S)的正关联BCK-代数X*,且X是X*的一个子代数.特别地,当X是关联时,那么X*也是关联的 相似文献
10.
张素红 《浙江大学学报(理学版)》2005,32(1):5-9
通过讨论李欣并代数X=X1U1X2与它的两个子代数X1、X2之间的关系,其中X1是BCK-代数,X2是BCI-代数,得到了李欣并代数X分别是交换、正关联、关联的BCI-代数的充要条件.从而确定了所有阶n≤5的真BCI-代数按交换性、正关联和关联性的分类. 相似文献