...
机译:格值的胎教系统
Department of Mathematics and Statistics, Faculty of Science, Masaryk University, Kotlarska 2, 611 37 Brno, Czech Republic;
Department of Mathematics and Statistics, Faculty of Science, Masaryk University, Kotlarska 2, 611 37 Brno, Czech Republic,Institute of Mathematics, Faculty of Mechanical Engineering, Brno University of Technology, Technicka 2896/2, 616 69 Brno, Czech Republic;
Institute for Applied Statistics, Johannes Kepler University Linz, Altenberger Street 69, 4040 Linz, Austria,Departamento de Matematica, Universidad Tecnica Federico Santa Maria, Casilla 110-V, 2360102 Valparaiso, Chile;
Adjoint functor; (Lattice-valued) bornological space; (Lattice-valued) topological system; Locale; Localification and spatialization of topological systems; Point-free topology; Reflective subcategory;
机译:关于格点值出生论向量空间的类别
机译:格值预集作为格值拓扑系统
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:格值一阶逻辑系统中格值角广义子句的alpha解析方法
机译:格值收敛:商图
机译:格值直接F变换的度量及其拓扑解释
机译:晶格值突出逻辑系统格子值喇叭通用条款的α分辨率方法