机译:分布格和Heyting代数的双拓扑对偶性
Department of Mathematical Sciences, New Mexico State University, Las Cruces NM 88003-8001, U.S.A.;
rnDepartment of Computing, Imperial College London, 180 Queen's Gate, London SW7 2AZ, U.K.;
rnDepartment of Mathematical Logic, Razmadze Mathematical Institute, M. Aleksidze Str. 1, Tbilisi 0193, Georgia;
rnDepartment of Computer Science, University of Leicester, University Road, Leicester LE1 7RH, U.K.;
机译:部分代数和可满足性的复杂性以及分布格,布尔代数和Heyting代数的通用理论
机译:分配格子和Heyting代数的有效分类
机译:分配格子和Heyting代数的有效分类
机译:在Heyting几乎是分配格子的一些过滤器
机译:Heyting代数和分布格的可计算性。
机译:Pawlak代数和模糊格上的近似结构
机译:分布格和Heyting代数的双拓扑对偶性