正規BCK代數(normal BCJ-algebra)一類特殊的BCK代數.設X是BCK代數，A是X的非空子集.記
分別稱A;,與AX為A的左的與右的穩定子，且稱A' =A;,門AX為A的穩定子.A的左穩定子AI.是X的理想;AX與A’是X的子代數，未必是理想.若BCK代數X的每個單元集{QJ的右穩定子R。都是X的理想，則稱X為正規BCK代數.單BCK代數、可換BCK代數、半單BCK代數以及J半單BCK代數都是正規BCK代數.
正規BCK代數(normal BCJ-algebra)一類特殊的BCK代數.設X是BCK代數，A是X的非空子集.記 分別稱A;,與AX為A的左的與右的穩定子，且稱A' =A;,門AX為A的...
正關聯BCK代數(positive implicative BCK-aI-gebra )一類重要的BCK代數.設(X; * , 0是BCK代數，若d二，y,zEX有 (x*z)*(y*z)=(x*y）*z (該條件等價...
BCK代數(BCK-algebra)一種有序代數系統.它是從邏輯蘊含規律中抽象出來的，帶有常元和一個二元運算.代數結構，若d .x,y,zEX，滿足:則稱(X; * , 0)為BCK...
多重正關聯BCK代數(multiply positive im-plicative BCK-algebra)正關聯BCK代數的一種推廣.設X是BCK代數，若對任意二，yEX，存在自然數n=n(x, y) }與二，y...
BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數，若a是X的一個非零極小元，則稱a為X的原子.設A是X的原子集，...
多重關聯BCK代數(multiply implicative BCK-algebra)關聯BCK代數的一種推廣.設X是BCK代數，若對任意二，yEX，存在自然數n=nix,婦，使得x二(y二二”)=x，則稱X...
若在BCK代數(X; } ,0>中，d二，yEX有:x*(y*二)-二，則稱X為關聯BCK代數.若X是有界關聯BCK代數，則(X;八，V>是布爾代數.若X是BCK代數，則X是關聯...
本書論述模糊邏輯形式化系統及相關代數結構問題,主要是作者張小紅教授近年研究工作的總結,同時也介紹了與之相關的國內外眾多學者的最新成果。全書共7章,涉及互相關聯...
X)一{0}，則稱X為J半單BCI代數.有界正關聯的對合(即NNx=x}b xE X)BCK代數以及多重關聯BCK代數都是J半單BCK代數.每一個J半單BCK代數都是正規BCK代數...
同構基本定理,即同態基本定理,由埃米·諾特提出。包含三個定理,在泛代數領域有廣泛的套用,證明了一些自然同構的存在性。...