排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
格蕴涵代数中的格蕴涵代数方程 总被引:3,自引:0,他引:3
根据逻辑代数方程理论,提出了格蕴涵代数方程的概念.讨论了格蕴涵代数L中的几种基本类型的一元格蕴涵代数方程,给出了方程的可解性判别条件.在此基础之上,证明了方程的解集构成L的凸子格. 相似文献
1