合成逻辑作为一阶数学理论

一、前言 本文塑造了一个一阶数学理论,并证明它等效于Curry的合成逻辑。 探讨合成逻辑与谓词演算的统一基础,将有助于我们进一步为奠定“泛函体裁与逻辑体裁相结合的编程语言的严格彻底数学基础”作好准备。本文旨在:从代数的观点,为合成逻辑塑造一个一阶数学理论,并证明此数学理论等效于合成逻辑。这样,合成逻辑被融入到一阶谓词演算之中,或者说,合成逻辑与谓词演算融合在一阶数学理论中。 文中所采用的术语和符号遵循文献[1,3]。