王龙春

发布时间:2023-12-22文章来源:002cc白菜资讯 浏览次数:

王龙春,男,博士,硕士研究生导师

主讲课程:

《解析几何》、《点集拓扑》、《离散数学》、《线性代数》、《高等数学》

主要研究兴趣:

Domain理论、非经典数理逻辑和不确定性的数学理论

代表性学术论文:

[1] Wang Longchun, Li Qingguo. A logic for Lawson compact algebraic L-domains. Theoretical Computer Science, 2020, 813: 410–427.

[2] Wang Longchun, Li Qingguo. A representation of proper BC domains based on conjunctive sequent calculi. Mathematical Structures in Computer Science, 2020, 30: 1–13.

[3] Wang Longchun, Li Qingguo, Zhou Xiangnan. Continuous L-domains in logical form. Annals of Pure and Applied Logic, 2021, 172, 102993.

[4] Li Qingguo, Wang Longchun*, Yao Lingjuan. A representation of continuous lattices based on closure spaces. Quaestiones Mathematicae, 2021, 44: 1513–1528.

[5] Wang Longchun, Guo Lankun, Li Qingguo. Continuous domains in formal concept analysis. Fundamena Informaticae, 2021, 179: 295319.

[6] Wang Longchun, Li Qingguo. Representations of stably continuous semi-lattices by information systems and abstract bases. Information Processing Letters, 2021, 165, 106036.

[7] Wang Longchun, Li Qingguo. Bounded complete domains and their logical form. Information and Computation, 2022, 289, 104958.

[8] Wang Longchun, Zhou Xiangnan, Li Qingguo. Information systems for continuous semi-lattices. Theoretical Computer Science, 2022, 913: 138150.

[9] Wang Longchun, Li Qingguo. Consistent disjunctive sequent calculi and Scott domains. Mathematical Structures in Computer Science, 2022, 32: 127150.

[10] Wang Longchun, Li Qingguo. The categorical equivalence between domains and interpolative generalized closure spaces. Studia Logica, 2023,111:187–215.

[11] Wang Longchun, Li Qingguo. Topological representations of Lawson compact algebraic L-domains and Scott domains. Algebra Universalis, 2023, 84: 23.

[12] Xiangnan Zhou, Wang Longchun*, Li Qingguo. A direct approach to representing

algebraic domains by formal contexts. International Journal of Approximate Reasoning, 2024, 164: 109085.

[13] Wang Longchun, Li Qingguo. L-domains as locally continuous sequent calculi. Archive for Mathematical Logic, 2024, doi.org/10.1007/s00153-023-00903-4.

[14] Juan Zou, Yuhan Zhao, Cuixia Miao, Wang Longchun*. A set-theoretic approach to algebraic L-domains. Mathematical Structures in Computer Science, 2024.

科研项目:

国家自然科学基金面上项目,117711342018-2021,参与

湖南省自然科学基金青年项目,2019JJ50041, 2018-2021,参与

山东省自然科学基金面上项目,ZR2022MA022,2023-2025,主持

科研奖励:

湖南省优秀博士学位论文,2022

Email:

Longchunw@163.com


关闭 打印责任编辑:孔祥立

上一篇:·陈仁栋
下一篇:·郑筱筱

友情链接