基本情况

2003年7月毕业于陕西师范大学数学与信息科学学院，获理学学士学位；同年被推荐为陕西师范大学基础数学专业免试硕士研究生，师从王国俊教授学习；2005年6月被选为硕博连读生，继续师从王国俊教授攻读博士学位；2009年6月获得博士学位，同时留校在数学与信息科学学院工作；2010年12月破格晋升副教授； 2012年增选为硕士生导师；2013年8月-2014年8月在美国Vanderbilt大学数学系公派博士后合作研究；2015年12月晋升教授；2016年入选陕西省青年科技新星；2017年遴选为博士生导师，入选陕西省中青年科技创新领军人才。

研究领域为：序代数与逻辑，聚合算子，模糊蕴涵等。在Annals of Pure and Applied Logic, Archive for Mathematical Logic, IEEE Transactions on Fuzzy Systems, Fuzzy Sets and Systems, Information Sciences, International Journal of Aprroximate Reasoning, Journal of Intelligent and Fuzzy Systems, Journal of Multiple-Valued Logic & Soft Computing, 中国科学，数学学报等刊物发表论文40余篇。主要研究成果为：(1) 通过语义积分化、模态形式化和代数公理化三角度较系统地建立了概率计量逻辑理论；(2) 深入研究了逻辑代数的Stone拓扑表示、相似收敛及其Cauchy完备化、并完备化和有限嵌入性；(3) 提出了多种新型逻辑蕴涵算子，并给出了其若干刻画及应用，为输入律(law of importation)公开问题提供了多类新型三角模与蕴涵解。入选陕西省中青年科技创新领军人才和青年科技新星计划。任模糊数学与模糊系统专委会副秘书长、非经典逻辑与计算专委会副秘书长和陕西师大学报(自然科学版)编委。

代表性学术论文

• 20. Deng Pan, Hongjun Zhou, XinxinYan,  Characterizations for the migrativity of continuous t-conorms over fuzzy implications, Fuzzy Sets and Systems, in press, https://doi.org/10.1016/j.fss.2022.04.006.
  

• 19. Hongjun Zhou, Yingying Song, Characterization of a class of fuzzy implication solutions to the law of importation, Fuzzy Sets and Systems, in press, https://doi.org/10.1016/j.fss.2021.09.016.

• 18. Hongjun Zhou, Characterizations and applications of fuzzy implications generated by a pair of generators of t-norms and the usual addition of real numbers, IEEE Transactions on Fuzzy Systems, doi: 10.1109/TFUZZ.2021.3072450.

• 17. Hongjun Zhou, Characterizations of fuzzy implications generated by continuous multiplicative generators of t-norms, IEEE Transactions on Fuzzy Systems, 2021， 29(10): 2988-3002.

• 16.Hongjun Zhou, Two general construction ways toward unified framework of ordinal sums of fuzzy implications, IEEE Transactions on Fuzzy Systems,  2021, 29(4):  846-860.

  15. Hongjun Zhou, Xinxin Yan, Migrativity properties of overlap functions over uninorms, Fuzzy Sets and Systems, 2021, 403: 10–37.

• 14. Qing Chang, Hongjun Zhou*, Distributivity of N-ordinal sum fuzzy implications over t-norms and t-conorms, International Journal of Approximate Reasoning, 2021, 131: 189-213.

• 13. José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou. Join-completions of ordered algebras, Annals of Pure and Applied Logic, 2020, 171: 102842.

• 12. Hongjun Zhou, Xiao Liu. Characterizations of (U2,N)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication, Fuzzy Sets and Systems, 2020, 378: 79-102.

• 11. Hongjun Zhou, Huixian Shi. Stone duality for R0-algebras with internal states, Iranian Journal  of Fuzzy Systems, 2017, 14(4): 139-161.

• 10. Hongjun Zhou, Bin Zhao, Characterizations of endomorphic nuclei on R0-algebras (nilpotent minimum algebras). Journal of Multiple-Valued Logic and Soft Computing, 2014, 22(1-2): 123-132.

• 9. Zhao Bin, Hongjun Zhou*. Generalized Bosbach and Riecan states on nucleus-based-Glivenko residuated lattices. Archive for Mathematical Logic, 2013, 52(7-8): 689-706.

• 8. 周红军, 折延宏. Lukasiewicz命题逻辑中命题的Choquet积分真度理论. 电子学报, 2013, 41(12): 2327-2333.

• 7. Hongjun Zhou, Bin Zhao, Generalized Bosbach and Riecan states based on relative negations in residuated lattices. Fuzzy Sets and Systems, 2012, 187(1): 33-57．

• 6. Hongjun Zhou, Guojun Wang, Borel probabilistic and quantitative logic. Science China: Information Sciences, 2011, 54(9): 1843-1854

• 5. Hongjun Zhou, Bin Zhao, Stone-like representation theorems and three-valued filters in R0-algebras (nilpotent minimum algebras). Fuzzy Sets and Systems, 2011, 162(1): 1-26.

• 4. Guojun Wang, Hongjun Zhou, Quantitative logic. Information Science, 2009, 179(3): 226-247.

• 3. Hongjun Zhou, Guojun Wang, Three and two-valued Lukasiewicz theories in the formal deductive system L*(NM-logic) . Fuzzy Sets and Systems, 2008, 159(22): 2970-2982.

• 2. Hongjun Zhou, Guojun Wang, Characterizations of maximal consistent theories in the formal deductive system L*(NM-logic) and Cantor space. Fuzzy Sets and Systems, 2007, 158(23): 2591-2604.

• 1. Hongjun Zhou, Guojun Wang, Wei Zhou, Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic. International Journal of Approximate Reasoning, 2006, 43(2): 117-132.

专著：

• 1. 周红军. 概率计量逻辑及其应用. 北京: 科学出版社, 2015.

• 2. Wang Guojun, Zhou Hongjun. Introduction to Mathematical Logic and Resolution Principle. Co-published by Science Press (Beijing) and Alpha International Science Ltd (Oxford), 2009.

教育科研项目

• 9. 陕西省教育厅，抓住新机遇、贯彻新理念、落实新标准、办好新师范---数学与应用数学师范专业建设的改革与实践，2022/01-2023/12，主持。
  

• 8. 国家自然科学基金面上项目，12171292，输入律的方程求解、代数结构、逻辑系统及相关应用研究，2022/01-2025/12，主持。

• 7. 陕西省青年科技新星计划，2016KJXX-24，多值概率论的逻辑与代数基础及其应用研究，2016/01-2018/12，主持。

• 6. 国家自然科学基金面上项目，61473336，不确定性推理的广义概率模型及其逻辑基础，2015/01-2018/12，主持。

• 5. 国家自然科学基金面上项目，11171200，谓词逻辑与模型检验中的计量化理论，2012/01-2015/12，2012-2014年为第3参加人，自2014年3月起变更为主持。

• 4. 国家自然科学基金面上项目，11171196，Domain与Quantale理论的模糊化研究，2012/01-2015/12，第3参加人。

• 3. 国家自然科学基金青年项目，61005046，不确定性推理的Borel型概率计量化模型，2011/01-2013.12，主持。

• 2. 高等学校博士学科点专项科研基金新教师类项目，20100202120012，Lukasiewicz命题逻辑中命题的Choquet积分真度理论，2011/01-2013.12，主持。

• 1. 陕西省自然科学基础研究计划青年项目，2010JQ8020，命题逻辑中命题的Borel概率真度理论研究，2010/06-2012/12，主持。

教育科研奖励

• 6. 2022年度陕西高等学校科学研究优秀成果奖一等奖(1/4)；

• 5. 2017年度陕西省中青年科技创新领军人才；

• 4. 2016年度陕西省青年科技新星；

• 3. 2012年度陕西省优秀博士学位论文；

• 2. 2008年度宝钢优秀学生奖；

• 1. 2003年陕西省高校优秀毕业生。

讲授课程

• 本科生：《数学分析》、《概率论与数理统计》、《模糊数学》、《高等数学》（包括微积分、线性代数、概率论、复变函数及数理方程）；

• 研究生：《数理逻辑引论与归结原理》、《非经典数理逻辑与近似推理》、《概率计量逻辑及其应用》、《Triangular Norms》等。