机译:格值预集作为格值拓扑系统
Department of Mathematical Sciences, Kent State University, Kent, OH 44242, USA;
Departments of Computer Science and Mathematical Sciences, Kent State University, Kent, OH 44242, USA;
College of Science, Technology, Engineering, Mathematics (STEM), Youngstown State University, Youngstown, OH 44555-3347, USA;
Department of Mathematics and Statistics, Faculty of Science, Masaryk University, Kotlarska 2, 611 37 Brno, Czech Republic;
Adjoint functor; Alexandroff topology; Coreflective subcategory; (Lattice-valued) preordered set; (Lattice-valued) topological space; (Lattice-valued) topological system; Locale; Quasi-pseudo-metric space; Spatialization procedure; Specialization preorder; Topological category; (Variable-basis) pointfree topology;
机译:格值拓扑系统作为格值形式概念分析的框架
机译:预定拓扑空间上晶格值函数的插入和扩展定理
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:格值一阶逻辑系统中格值角广义子句的alpha解析方法
机译:格值收敛:商图
机译:格值直接F变换的度量及其拓扑解释
机译:格子值拓扑系统作为格子值正式概念分析的框架