Lattice-valued preordered sets as lattice-valued topological systems

被引:5
|
作者
Denniston, Jeffrey T. [1 ]
Melton, Austin [2 ]
Rodabaugh, Stephen E. [3 ]
Solovyov, Sergey A. [4 ]
机构
[1] Kent State Univ, Dept Math Sci, Kent, OH 44242 USA
[2] Kent State Univ, Dept Comp Sci & Math Sci, Kent, OH 44242 USA
[3] Youngstown State Univ, Coll Sci Technol Engn Math STEM, Youngstown, OH 44555 USA
[4] Masaryk Univ, Fac Sci, Dept Math & Stat, CS-61137 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; FUZZY; FOUNDATIONS; ALGEBRA;
D O I
10.1016/j.fss.2014.04.022
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper provides variable-basis lattice-valued analogues of the well-known results that the construct Prost of preordered sets, firstly, is concretely isomorphic to a full concretely coreflective subcategory of the category Top of topological spaces (which employs the concept of the dual of the specialization preorder), and, secondly, is (non-concretely) isomorphic to a full coreflective subcategory of the category TopSys of topological systems of S. Vickers (which employs the spatialization procedure for topological systems) Dualizing these results, one arrives at the similar properties of quasi-pseudo-metric spaces built over locales. (C) 2014 Elsevier B.V. All rights reserved.
引用
收藏
页码:89 / 110
页数:22
相关论文
共 50 条
  • [31] MODULUS OF LATTICE-VALUED MEASURES
    Khurana, S. S.
    ACTA MATHEMATICA UNIVERSITATIS COMENIANAE, 2010, 79 (02): : 225 - 230
  • [32] Agents and lattice-valued logic
    Mathematical Department, Catholic University, via Trieste 17, Brescia, Italy
    J. Donghua Univ., 2006, 6 (113-116):
  • [33] Insertion of lattice-valued functions for some topological spaces
    Yang, Er-Guang
    TOPOLOGY AND ITS APPLICATIONS, 2022, 320
  • [34] THE REPRESENTATION OF LATTICE-VALUED CAPACITIES
    ALI, SA
    SIMONS, S
    ARCHIV DER MATHEMATIK, 1984, 43 (06) : 542 - 550
  • [35] Lattice-Valued Proposition Logic(Ⅱ)
    Qin Keyun
    Xu Yang( Dept. of Appl. Mathematics
    Journal of Southwest Jiaotong University, 1994, (01) : 22 - 27
  • [36] Lattice-valued simulations for quantitative transition systems
    Pan, Haiyu
    Li, Yongming
    Cao, Yongzhi
    International Journal of Approximate Reasoning, 2015, 56 (PA) : 28 - 42
  • [37] Tautologies in some lattice-valued logic systems
    Li, HM
    Qin, KY
    Xu, Y
    2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 2563 - 2568
  • [38] Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic
    Kumar Sankar Ray
    Litan Kumar Das
    Annals of Mathematics and Artificial Intelligence, 2021, 89 : 409 - 429
  • [40] Lattice-valued soft algebras
    Solovyov, Sergey A.
    SOFT COMPUTING, 2013, 17 (10) : 1751 - 1766