·2,447,543篇论文数据，部分数据来源于NoteExpress
作为半连续格的推广，引入了拟半连续格和拟半代数格的概念，讨论了它们的一些基本性质。
As generalizations of semicontinuous lattices and semialgebraic lattices, the concepts of quasi-semicontinuous lattices and quasi-semialgebraic lattices are introduced.
作为推论，给出了格蕴涵代数的某些结构性定理。
As consequences it is given some of structure theorems of lattice implication algebras.
给出的格蕴含代数的公理系统，并给出另一个公理系统。
Simplify the axiom system of lattice implication algebras, which was given by y.
应用推荐