机译:无限Heyting代数
Department of Mathematical Sciences, New Mexico Slate University, Las Cruces, NM 88003-8001, USA;
profinite algebras; heyting algebras; duality theory;
机译:无限Heyting代数
机译:Heyting代数的有限补全和典范扩展
机译:PROFINITE群的PRO-C *-代数和PRO-C *-代数
机译:部分有序集上的蕴涵代数和Heyting代数
机译:有限代数的表示论:与范畴论,代数拓扑和紧群的相互作用。
机译:量子簇代数和量子幂等代数
机译:双直觉逻辑和Co-Heyting代数