It is proved that there only are two lattice implication algebras with order 4 and order 6, up to isomorphism.

  • 证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个。
目录 查词历史