王龙春,男,博士,硕士研究生导师
主讲课程:《解析几何》、《点集拓扑》、《离散数学》、《实变函数》
主要研究兴趣:Domain理论、非经典数理逻辑和不确定性的数学理论
代表性学术论文:
[1] Wang Longchun, Li Qingguo. A logic for Lawson compact algebraic L-domains. Theoret. Comput. Sci. 813 (2020), 410–427.
[2] Wang Longchun, Li Qingguo. A representation of proper BC domains based on conjunctive sequent calculi. Math. Structures Comput. Sci. 30 (2020), no. 1, 1–13.
[3] Wang Longchun, Li Qingguo, Zhou Xiangnan. Continuous L-domains in logical form. Ann. Pure Appl. Logic 172 (2021), no. 9, Paper No. 102993, 24 pp.
[4] Li Qingguo, Wang Longchun*, Yao Lingjuan. A representation of continuous lattices based on closure spaces. Quaest. Math. 44 (2021), no. 11, 1513–1528.
[5] Wang Longchun, Guo Lankun, Li Qingguo. Continuous domains in formal concept analysis. Fund. Inform. 179 (2021), no. 3, 295–319.
[6] Wang Longchun, Li Qingguo. Representations of stably continuous semi-lattices by information systems and abstract bases. Inform. Process. Lett. 165 (2021), Paper No. 106036, 8 pp.
[7] Wang Longchun, Li Qingguo. Bounded complete domains and their logical form. Inform. and Comput. 289 (2022), Paper No. 104958, 29 pp.
[8] Wang Longchun, Zhou Xiangnan, Li Qingguo. Information systems for continuous semi-lattices. Theoret. Comput. Sci. 913 (2022), 138–150.
[9] Wang Longchun, Li Qingguo. Consistent disjunctive sequent calculi and Scott domains. Math. Structures Comput. Sci. 32 (2022), no. 2, 127–150.
[10] Wang Longchun, Li Qingguo. The categorical equivalence between domains and interpolative generalized closure spaces. Studia Logica 111 (2023), no. 2, 187–215.
[11] Wang Longchun, Li Qingguo. Topological representations of Lawson compact algebraic L-domains and Scott domains. Algebra Universalis. 84
(2023), no. 3, Paper No. 23, 20 pp.
[12] Xiangnan Zhou, Wang Longchun*, Li Qingguo. A direct approach to representing algebraic domains by formal contexts. Internat. J. Approx. Reason. 164 (2024), Paper No. 109085, 16 pp.
[13] Wang Longchun, Li Qingguo. L-domains as locally continuous sequent calculi. Arch. Math. Logic. 63 (2024), no. 3-4, 405–425.
[14] Juan Zou, Yuhan Zhao, Cuixia Miao, Wang Longchun*. A set-theoretic approach to algebraic L-domains. Math. Structures Comput. Sci. 34 (2024), no. 3, 244–257.
[15] Hualin Miao, Longchun Wang, Qingguo Li. D-completion, well-filterification and sobrification. Topology Appl. 356 (2024), Paper No. 109050, 14 pp.
科研项目:
国家自然科学基金面上项目,11771134,2018-2021,参与
湖南省自然科学基金青年项目,2019JJ50041, 2018-2021,参与
山东省自然科学基金面上项目,ZR2022MA022,2023-2025,主持
国家自然科学基金面上项目,12571489,2026-2029,主持
科研奖励:湖南省优秀博士学位论文,2022
Email:[email protected]