Wang, Longchun; Li, Qingguo The categorical equivalence between domains and interpolative generalized closure spaces. (English) Zbl 07677356 Stud. Log. 111, No. 2, 187-215 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{L. Wang} and \textit{Q. Li}, Stud. Log. 111, No. 2, 187--215 (2023; Zbl 07677356) Full Text: DOI
Wang, Longchun; Li, Qingguo Bounded complete domains and their logical form. (English) Zbl 07629149 Inf. Comput. 289, Part A, Article ID 104958, 29 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Wang} and \textit{Q. Li}, Inf. Comput. 289, Part A, Article ID 104958, 29 p. (2022; Zbl 07629149) Full Text: DOI
Wang, Longchun; Zhou, Xiangnan; Li, Qingguo Information systems for continuous semi-lattices. (English) Zbl 1483.68183 Theor. Comput. Sci. 913, 138-150 (2022). MSC: 68Q55 06B35 PDFBibTeX XMLCite \textit{L. Wang} et al., Theor. Comput. Sci. 913, 138--150 (2022; Zbl 1483.68183) Full Text: DOI
Spreen, Dieter Generalised information systems capture L-domains. (English) Zbl 1502.68174 Theor. Comput. Sci. 869, 1-28 (2021). MSC: 68Q55 03B70 06B35 PDFBibTeX XMLCite \textit{D. Spreen}, Theor. Comput. Sci. 869, 1--28 (2021; Zbl 1502.68174) Full Text: DOI arXiv
Wang, Longchun; Li, Qingguo Representations of stably continuous semi-lattices by information systems and abstract bases. (English) Zbl 1506.68052 Inf. Process. Lett. 165, Article ID 106036, 8 p. (2021). MSC: 68Q55 06B35 68T30 PDFBibTeX XMLCite \textit{L. Wang} and \textit{Q. Li}, Inf. Process. Lett. 165, Article ID 106036, 8 p. (2021; Zbl 1506.68052) Full Text: DOI
Wang, Longchun; Li, Qingguo A representation of proper BC domains based on conjunctive sequent calculi. (English) Zbl 1478.03078 Math. Struct. Comput. Sci. 30, No. 1, 1-13 (2020). MSC: 03F03 06B35 03G30 PDFBibTeX XMLCite \textit{L. Wang} and \textit{Q. Li}, Math. Struct. Comput. Sci. 30, No. 1, 1--13 (2020; Zbl 1478.03078) Full Text: DOI
He, Qingyu; Xu, Luoshan Weak algebraic information systems and a new equivalent category of DOM of domains. (English) Zbl 1411.68055 Theor. Comput. Sci. 763, 1-11 (2019). MSC: 68Q55 06B35 PDFBibTeX XMLCite \textit{Q. He} and \textit{L. Xu}, Theor. Comput. Sci. 763, 1--11 (2019; Zbl 1411.68055) Full Text: DOI