It is proved that there only are two lattice implication algebras with order 4 and order 6, up to isomorphism.
英
美
证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个。
目录
查词历史
英 汉