王军涛

研究生导师个人简介

一、基本信息

王军涛，男，汉族，1987年12月生，陕西乾县人，副教授、理学博士、硕士生导师。

从事学科：数学学科

电子邮箱：wjt@xsyu.edu.cn

联系电话：15829065086

二、个人经历

教育经历

工作经历

三、研究方向和招生专业

研究方向

序代数；

非经典数理逻辑；

不确定性推理；

人工智能的数学理论方法。

招生专业

硕士招生专业：基础数学、逻辑学以及人工智能。

科研团队

陕西高校青年创新团队“不确定性数据建模及智能油田应用”核心成员（2/17）。

欢迎特别优秀、学习能力强的大二、大三本科生参与我们的科研团队。

联系方式：wjt@xsyu.edu.cn（请附简历）。

四、指导研究生

目前指导硕士研究生2名。

五、主讲课程

离散数学（本科课程）；

抽象代数（本科课程）。

六、社会兼职

学术组织

中国逻辑学会非经典逻辑与计算专委会委员（2022--至今）；

美国数学评论《Mathematical Reviews》评论员（2018--至今）。

期刊任职

逻辑学领域SCI期刊《Logic Journal of the IGPL》（中国数学会推荐期刊目录T3类）客座编辑；

逻辑学领域ESCI/EI期刊《Journal of Applied Logics》模糊逻辑领域的学术编辑。

期刊审稿人

长期担任国外知名学术期刊《Studia Logica》、《The Reviewof Symbolic Logic》、《Journal of Logic and Computation》、《Archive for Mathematical Logic》、《Fuzzy Setsand Systems》、

《International Journal of Approximate Reasoning》以及国内学术期刊《数学进展》、《系统科学与数学》、《高校应用数学学报》、《电子学报》、《模糊系统与数学》等期刊审稿人。

七、科研成果

科研项目

1.国家自然科学基金青年项目，12001423，一元模糊谓词逻辑的等价代数语义研究，2021/01-2023/12，已结题，主持。

2.教育部人文社会科学研究青年项目，24XJC72040001，一元子结构谓词逻辑的命题演算形式化研究，2024/09-2027/12,在研，主持。

3.国家自然科学基金地区项目，11961016，若干逻辑代数上超运算符的研究，2020/01-2023/12，已结题，主持子课题。

4.国家自然科学基金面上项目，12171294，子结构逻辑中基于态理论和Glivenko定理的剩余格簇研究，2022/01-2025/12，在研，主持子课题。

5.陕西省自然科学基础研究计划项目，2020JQ-762,基于三角模的逻辑中模糊限制语的研究，2020/01-2021/12,已结题，主持。

6.陕西省教育厅高校青年创新团队科研项目，23JP132，一元MTL-代数的特征及其表示研究，2023/01-2025/12,在研，主持。

论文与著作

近年来以第一作者或通讯作者先后在国外权威期刊《The Review of Symbolic Logic》、《Studia Logica》、《Journal of Logic and Computation》、《Logic Journal of the IGPL》、《Archive for Mathematical Logic》、《Journal of Multiple Valued Logic and Soft Computing》、《Mathematica Slovaca》、《Fuzzy Sets and Systems》以及国内高水平期刊《Frontiers of Mathematics in China》、《Applied Mathmematics-A Journal of Chinese Universities》、《电子学报》和《系统科学与数学》等期刊发表论文30余篇，其中SCI检索20余篇（中科院二区及以上论文7篇），在《科学出版社》和《电子工业出版社》各出版学术专著1部，个人撰写25万字。

八、科研/教学获奖

1.源于子结构逻辑的代数中若干问题的研究，陕西高等学校科学技术二等奖, 2024.06

2.学术论文《一元子结构谓词逻辑中相似的代数语义》入选2024年中国科协“科技期刊结构化论文双语传播工程”优秀学术论文，2024.12。