Order:
  1.  26
    Continuous L-domains in logical form.Longchun Wang, Qingguo Li & Xiangnan Zhou - 2021 - Annals of Pure and Applied Logic 172 (9):102993.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  22
    L-domains as locally continuous sequent calculi.Longchun Wang & Qingguo Li - 2024 - Archive for Mathematical Logic 63 (3):405-425.
    Inspired by a framework of multi lingual sequent calculus, we introduce a formal logical system called locally continuous sequent calculus to represent _L_-domains. By considering the logic states defined on locally continuous sequent calculi, we show that the collection of all logic states of a locally continuous sequent calculus with respect to set inclusion forms an _L_-domain, and every _L_-domain can be obtained in this way. Moreover, we define conjunctive consequence relations as morphisms between our sequent calculi, and prove that (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces.Longchun Wang & Qingguo Li - 2023 - Studia Logica 111 (2):187-215.
    Closure space has been proven to be a useful tool to restructure lattices and various order structures. This paper aims to provide an approach to characterizing domains by means of closure spaces. The notion of an interpolative generalized closure space is presented and shown to generate exactly domains, and the notion of an approximable mapping between interpolative generalized closure spaces is identified to represent Scott continuous functions between domains. These produce a category equivalent to that of domains with Scott continuous (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  75
    Fuzzy closure systems on L-ordered sets.Lankun Guo, Guo-Qiang Zhang & Qingguo Li - 2011 - Mathematical Logic Quarterly 57 (3):281-291.
    In this paper, notions of fuzzy closure system and fuzzy closure L—system on L—ordered sets are introduced from the fuzzy point of view. We first explore the fundamental properties of fuzzy closure systems. Then the correspondence between fuzzy closure systems and fuzzy closure operators is established. Finally, we study the connections between fuzzy closure systems and fuzzy Galois connections. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  40
    Boolean products of R0-algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
    In this paper, the Boolean representation of R0-algebras are investigated. In particular, we show that directly indecomposable R0-algebras are equivalent to local R0-algebras and any nontrivial R0-algebra is representable as a weak Boolean product of local R0-algebras.
    Direct download  
     
    Export citation  
     
    Bookmark