降链条件相关论文
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公......
BCK-代数X的理想M称为次极大理想，如果存在x∈X—M，使得M在不含x的理想中极大．讨论了次极大理想的性质，并得到：BCK-代数的每个理想都可......
