我院马雷教授新著《论联合演算》近日由科学出版社出版。全书共9章，40多万字，系统研究和发展了希尔伯特联合演算的理论与方法，废弃了联合演算的原初判定标准，提出解决判定问题的结构判定法和范式判定法。在此基础上，该书提出联合演算对传统逻辑和亚氏逻辑的等价翻译方案，构建了形式化的传统直言推论系统和三段论化归系统，也构造了亚氏模态三段论的推演系统和化归系统，从而最大限度地证明传统逻辑和亚氏逻辑在自身所把握的范围内所具有的严密性和完备性。南京大学教授，中国逻辑学会副会长张建军为该书作序，指出该著研讨了形式系统方法大师希尔伯特的联合演算的基础范本，并进行了系统的修正和完善，具有奠基意义。