排序方式： 共有4条查询结果，搜索用时 0 毫秒
1
1.
进一步讨论有1模格的等价定义问题,得到并证明了一个(2,2,0)型代数成为有1模格的一个充分必要条件.这样大大简化了有1模格的等价定义. 相似文献
2.
对具有单位元的模格,本文给出了两种更为简洁的等价条件,并根据模格所满足的幂等律、交换律、结合律、吸收律和模律,证明了有1模格的各种定义之间的等价性。 相似文献
3.
本文首先提出唯一补格与原子对偶原子相关的充要条件;然后对Peirces定理第4步证明提出了新的方法;进而提出并证明了唯一补格中与分配性的四个等价条件;本文最后提出了在唯一补格中可以推出分配性的四个等价条件,并逐一进行了证明。 相似文献
4.
针对分配格与模格的格等式定义问题,得知了二条件是定义分配格与模格的最少条件,并进一步证明了Sholander's basis是定义分配格的最短最少变量格等式,最后又从分配格和模格的基本定义出发给出了新的分配格的二条件和三条件等价定义等式及模格的二条件与三条件等价定义等式. 相似文献
1