Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark