欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在格蕴涵代数中提出了加既约元、乘既约元，研究了一类重要的格蕴涵代数Ln×L2中元素的不可约有限分解，并将这一理论用于研究Ln×L2上的几类格蕴涵代数方程，讨论了方程有解的充分必要条件，在此基础上给出了方程的具体解集。
英文摘要：
In this paper, product-irreducible and sum-irreducible element of lattice implication algebra are proposed. The decomposition for the element of Ln×L2 which is an important lattice implication algebra are investigated, and used it to solve some special classes of lattice implication algebra of Ln×L2. The necessary and sufficient conditions to distinguish whether equations have solutions are discussed, on the base of it, the detailed solution set are given.
同期刊论文项目
同项目期刊论文
期刊信息
位置：