本文对m+1阶波斯特代数进行了公理化的讨论,通过讨论,清楚地看到了m+1阶逻辑代数具有代数的可靠性定理和完全性定理.......

In the process of kinematic chain type synthesis,it is necessary to solve the problems of isomorphism identification and......

证明了格L的任何一个包含上确界的子集A若能表为L的子链的积，则必为某个LF-子群的象，从而部分地回答了S·Ovchinnikov提出的一个......