中国·9001金沙以诚为本(股份有限公司)-Official website

基本情况

贺鹏飞，博士，教授，博士生导师。2015年7月毕业于西北大学数学学院，获博士学位，同年进入陕西师范大学9001金沙以诚为本工作，2018年8月至2019年8月在美国范德堡大学数学系做访问学者。现为美国《数学评论》评论员，中国逻辑学会非经典逻辑与计算专委会委员，中国人工智能学会人工智能基础专委会委员，中国人工智能学会人工智能逻辑专委会副秘书长。研究方向：序代数、逻辑代数、非经典逻辑。

代表性学术论文

• 1.  Juntao Wang, Hongwei Wu, Pengfei He, et. al. An algebraic proof of completeness for monadic fuzzy predicate logic MMTL, The Review of Symbolic Logic, https://doi.org/10.1017/S1755020323000291.

• 2. Pengfei He, Ya Wei, Juntao Wang. On state monadic MV-algebras, Fuzzy Sets and Systems, 2024，485: 108960.

• 3. Juntao Wang, Yanhong She, Pengfei He, et. al. On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-difffferential residuated distributive lattices, Studia Logica, 2023，111: 361--390.
  

• 4. Pengfei He, Juntao Wang, Jiang Yang. The existence of states based on Glivenko semihoops. Archive for Mathematical Logic,  2022, 61: 1145--1170.

• 5. Juntao Wang, Pengfei He, Jiang Yang, et. al. Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic. Journal of Logic and Computation, 2022, 32: 741--766 .

• 6. Pengfei He, Jiang Yang, Juntao Wang. Solutions to two open problems in topological residuated lattices. Fuzzy Sets and Systems, 2021, 405: 65--73.

• 7. Pengfei He, Juntao Wang, Jiang Yang. The lattices of L-fuzzy state filters in state residuated lattices. Mathematica Slovaca, 2020, 70: 1289--1306.

• 8. Juntao Wang, Pengfei He, Yanhong She. Monadic NM-algebras. Logic Journal of the IGPL, 2019, 27: 812--835.

• 9. Bin Zhao, Pengfei He*. On non-commutative residuated lattices with internal states. IEEE Transactions on Fuzzy Systems, 2018, 26: 1387--1400.

• 10. Pengfei He, Juntao Wang, Bin Zhao. Involutive monoidal t-norm based algebras with internal states. Journal of Multiple-Valued Logic & Soft Computing, 2018, 31: 531--565.

• 11. Jiang Yang, Xiaolong Xin, Pengfei He. Notes on topological BL-algebras. Fuzzy Sets and Systems, 2018, 350: 33--40.

• 12. Pengfei He, Bin Zhao, Xiaolong Xin. States and internal states on semihoops. Soft Computing, 2017, 21: 2941--2957.

• 13. Pengfei He, Xiaolong Xin, Jianming Zhan. On derivations and their fixed point sets in residuated lattices. Fuzzy Sets and Systems, 2016, 303: 97--117.

• 14. Pengfei He, Xiaolong Xin, Yongwei Yang. On state residuated lattices. Soft Computing, 2015, 19: 2083--2094.

• 15. Pengfei He, Xiaolong Xin, Jianming Zhan. Fuzzy hyperlattices and fuzzy pre-ordered lattices. Journal of Intelligent & Fuzzy Systems, 2014, 26: 2369--2381.

• 16. Pengfei He, Xiaolong Xin. Fuzzy hyperlattices. Computers & Mathematic with Applications, 2012, 62: 4682--4690.

教育科研项目

• 1. 2024.1-2028.12，格值蕴涵算子与Domain理论中的若干问题，国家自然科学基金重点项目, 参与。
  

• 2. 2022.1-2025.12，子结构逻辑中基于态理论和Glivenko定理的剩余格簇研究，国家自然科学基金面上项目，主持。

• 3. 2017.1-2019.12, 内态MTL-代数簇及其应用研究，国家自然科学基金青年项目, 主持。

• 4. 2017.1-2018.12, 子结构逻辑中态的代数分析, 陕西省自然科学基础研究计划项目，主持。

• 5. 2020.1-2023.12，量子B代数及其相关问题的研究，国家自然科学基金面上项目，参与。

• 6. 2017.1-2020.12，量子逻辑的代数结构与量子测度理论的研究，国家自然科学基金面上项目, 参与。

• 7. 2016.1-2019.12，EQ-代数及相关结构上的态与内态研究, 国家自然科学基金面上项目，参与。

教育科研奖励

• 1. 2016年获陕西师范大学第九届青年教师教学基本功大赛理科组一等奖。
  

• 2. 2017年获第三届全国高校数学微课程教学设计竞赛西北赛区特等奖、国家二等奖。

• 3. 2021年获陕西省高等教育教学成果奖二等奖（第五完成人）。

• 4. 2023年获陕西高等学校科学研究优秀成果奖特等奖 (第四完成人)。

• 5. 2024年获陕西高等学校科学研究优秀成果奖二等奖 (第一完成人)。

讲授课程

• 本科生：高等数学，组合数学，解析几何
  

• 研究生：剩余格理论，泛代数与逻辑