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

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