从而对BCK -代数同志定理的推证得到了一个新的而更一般的方法。
By means of which we derive and prove, with a new and general schedule of reasoning, a series of homomorphism theorems for BCK-algebras.
许多不能被分解为刚性簇的问题得以解决，而不用求助于那些复杂的代数解决方法。
Many additional problems that cannot be decomposed into rigid clusters are solved, without resorting to expensive algebraic solving methods.
应用推荐