排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
格蕴涵代数中滤子的若干性质 总被引:3,自引:0,他引:3
首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。 相似文献
2.
3.
This paper is focused on automated reasoning based on classical propositional logic and lattice-valued propositional logic LP(X).A new method of automated resasoning is given ,and the soundness and completeness theorems of this method are proved. 相似文献
4.
格蕴涵代数的单性与周期性 总被引:2,自引:0,他引:2
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法,得出了一个重要结论;如果有限的单格蕴涵代数中存在对偶原子,则一定唯一。 相似文献
1