王军涛
一、基本信息
王军涛，男，汉族，陕西乾县人，副教授、理学博士、硕士生导师。
从事学科：数学学科
电子邮箱：[email protected]
二、个人经历
2018年7月份博士毕业于西北大学数学斗牛游戏
，获理学博士学位，同时来斗牛游戏-斗牛游戏平台入口
工作，2020年12月份完成助推计划A类目标，2022年1月份晋升为副教授职称。
三、研究方向和招生专业
研究方向：代数逻辑，非经典数理逻辑以及不确定性推理
招生专业：基础数学，逻辑学（数理逻辑）
欢迎特别优秀、学习能力强的本科生联系我，参与我的团队科研工作。
鼓励数学基础较好（本科阶段离散数学和抽象代数均为专业必修课者优先）或者相高校哲斗牛游戏
系逻辑学专业（本科阶段数理逻辑必须为专业必修课）的本科生报考硕士研究生。
联系方式：[email protected] (请附简历）
四、指导研究生
累计指导硕士生3名。
五、主讲课程
离散数学（本科生课程）、
抽象代数（本科生课程）、
不确定性推理（研究生课程）、
六、社会兼职
1. 逻辑学领域SCI期刊《Logic Journal of the IGPL》（数学会T3）领域编辑
2. 逻辑学领域SCI期刊《Mathematical Logic Quarterly》（数学会T3）领域编辑
3. 逻辑学领域ESCI/EI期刊《Journal of Applied Logic》（中科院四区）领域编辑
4. 中国逻辑学会非经典逻辑与计算专委会委员（2022--至今）；
5. 美国数学评论《Mathematical Reviews》评论员（2018--至今）
七、科研成果
1. 科研项目
1. 国家自然科学基金青年项目，12001423，一元模糊谓词逻辑 mMTL∀的等价代数语义研究，2021/01-2023/12，已结题，主持。
2. 教育部人文社会科学研究青年项目，24XJC72040001，一元子结构谓词逻辑的命题演算形式化研究，2024/09-2026/12,在研，主持。
3. 国家自然科学基金地区项目，11961016，若干逻辑代数上超运算符的研究，2020/01-2023/12，已结题，主持子课题。
4. 国家自然科学基金面上项目，12171294，子结构逻辑中基于态理论和Glivenko定理的剩余格簇研究，2022/01-2025/12，已结题，主持子课题。
5. 陕西省自然科学基础研究计划青年项目，2020JQ-762,基于三角模的逻辑中模糊限制语的研究，2020/01-2021/12, 已结题，主持。
6. 陕西省自然科学基础研究计划面上项目，2025JC-YBMS-034，源于一元子结构谓词逻辑的代数结构及其表示研究，2025/01-2026.12, 在研，主持。
2. 代表性论文（中科院分区以发表当年分区为准）
[1]Juntao Wang, Yanhong She, Gustavo Pelaitay,William Zuluaga Botero, Mei Wang, Kalman structures derived from implicative very true MV-algebras, Fuzzy Sets and Systems, 2026. (中科院一区，数学会T2)
[2] Juntao Wang, Qiang Huang, An algebraic approach to the study of monadic substructural predicate logics over FLew, Journal of Logic and Computation, 2026.
(中科院三区）
[3] Juntao Wang, Yanhong She, Benjamín Bedregal, Mei Wang, Constructions of general overlap and grouping functions on complete lattices, Computational and Applied Mathematics, 2026. （中科院三区，数学会T3）
[4] 王军涛，王梅，贺鹏飞，模糊限制语的逻辑学研究：语义模型与完备性，逻辑学研究，2026. (CSSCI)
[5] Juntao Wang, Hongwei Wu, Pengfei He, Yanhong She, An algebraic proof of completeness for monadic fuzzy predicate logic mMTL∀, Review of Symbolic Logic, 2025. （中科院二区，国际符号逻辑协会会刊）
[6] Juntao Wang, Mei Wang, Gustavo Pelaitay, An algebraic study of t-norm based
residuated fuzzy tense logics, Fuzzy Sets and Systems, 2025. （中科院一区,
数学会T2）
[7] Juntao Wang, Yanhong She, Pengfei He, Nana Ma, On categorical equivalence of weak monadic residuated lattices and weak monadic c-differential residuated lattices, Studia Logica, 2023. (中科院三区，A&HCI)
[8] Juntao Wang, Pengfei He, Generalized valuations on MTL-algebras, Frontiers of Mathematics in China, 2022. (中科院二区，数学会T2)
[9] Juntao Wang, Xiaolong Xin, Monadic algebras of an involutive monoidal t-norm based logic, Iranian Journal of Fuzzy Systems, 2022 (中科院二区）
[10] Juntao Wang, Pengfei He, Yanhong She, Monadic NM-algebras, Logic Journal of the IGPL, 2019 (中科院三区，数学会T3)
2. 学术专著
1. 辛小龙，王军涛，杨将，逻辑代数上的非概率测度，科学出版社，2019.
2. 王军涛，折延宏，不确定性推理的代数理论，电子工业出版社，2021.
3. 科研获奖
1. 源于子结构逻辑的代数中若干问题的研究，陕西高等学校科学技术二等奖, 2/5
2. 学术论文《一元子结构谓词逻辑中相似的代数语义》入选2024年中国科协“科技期刊结构化论文双语传播工程”优秀学术论文，2024.12。
