欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在格蕴涵代数中研究α-化子的一些特殊性质,重点研究乘积格蕴涵代数中α-化子的性质.证明B1×B2是L1×L2的子集则(B1×B2)(α1)×B2(α2).
英文摘要：
Some properties of subsets were studied in the lattice implication algebra.The property of subsets in the direct product of lattice implication algebras was focused on and the proposition that(B1× B2)(α)=B1(α1)× B2(α2) while that B1×B2 was the subset of L1× L2 was proved.
同期刊论文项目
同项目期刊论文
期刊信息
位置：