...
机译:Heyting代数的有限补全和典范扩展
Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM 88003-8001, USA;
profinite completion; canonical extension; duality theory; heyting algebra;
机译:闭代数和Heyting代数的拓扑规范完成
机译:半格和格的典范可拓性和完备性
机译:分布格的半形约简的有限补和正则扩展
机译:部分有序集上的蕴涵代数和Heyting代数
机译:有限生成的有限群的扩展的代数和拓扑。
机译:BCI / BCK-代数的软翻译和软扩展
机译:模型完成对P型半代数套装的缩放格子和共居代数