近日，《陕西省人民政府关于2022年度陕西省科学技术奖励的决定》（陕政字〔2023〕26号）发布，公司周红军教授的成果获得自然科学奖二等奖。

公司周红军教授牵头完成的“概率计量逻辑”成果为现代数学的逻辑基础研究。该成果将概率论与多值逻辑交叉融合，分别通过语义积分化、形式模态化和代数公理化三种内蕴式的“概率聚合真值”方法较系统地建立了概率计量逻辑，并研究了概率真度和态算子在粗糙逻辑、多粒度空间、逻辑理论的相容度、程度化推理、相似收敛及其Cauchy完备化等领域中的应用，也引发了极大相容逻辑理论的结构与拓扑刻画，以及逻辑代数的Stone拓扑表示与粗糙近似等研究，从而为不确定性的数学表示和逻辑推理建立了语言表达能力高、推理能力强、逻辑基础牢、适用范围广的概率计量化模型。成果搭建了形式推理与数值计算间的桥梁，揭示了多种计量化理论间的“异曲同工之妙”，构建了适合开展程度化推理的新型非经典数理逻辑。

成果得到5项国家自然科学基金，1项教育部博士点基金新教师类项目和3项陕西省自然科学基金的资助；5篇代表性论文发表在Science China: Inf. Sci.，IEEE Trans. Fuzzy Syst.，Fuzzy Sets Syst.等期刊，Web of Science核心集他引182次；3部代表性专著在科学出版社出版。