格蕴涵代数中的格蕴涵代数方程
Lattice Implication Algebraic Equations in Lattice Implication Algebras
-
摘要: 根据逻辑代数方程理论,提出了格蕴涵代数方程的概念.讨论了格蕴涵代数L中的几种基本类型的一元 格蕴涵代数方程,给出了方程的可解性判别条件.在此基础之上,证明了方程的解集构成L的凸子格.Abstract: According to the theory about logic algebraic equation, the notion of lattice implication algebraic equationwas proposed. Some typical one varialbe lattice implication algebraic equations in lattice implication algebrasLwere discussed. The necessary and sufficient conditions for existance of solutions for the equationswere presented. Based on the discussions, itwas proved that the solution sets of the equations are convex sublattices ofL.
点击查看大图
计量
- 文章访问数: 1242
- HTML全文浏览量: 85
- PDF下载量: 160
- 被引次数: 0