%0 Journal Article
%T 合成逻辑作为一阶数学理论
%A 江明德
%J 科学通报
%D 1989
%I 
%X 一、前言 本文塑造了一个一阶数学理论,并证明它等效于Curry的合成逻辑。 探讨合成逻辑与谓词演算的统一基础,将有助于我们进一步为奠定“泛函体裁与逻辑体裁相结合的编程语言的严格彻底数学基础”作好准备。本文旨在:从代数的观点,为合成逻辑塑造一个一阶数学理论,并证明此数学理论等效于合成逻辑。这样,合成逻辑被融入到一阶谓词演算之中,或者说,合成逻辑与谓词演算融合在一阶数学理论中。 文中所采用的术语和符号遵循文献1,3]。
%K 合成逻辑
%K 谓词演算
%K 一阶数学理论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=3DD20659B9F9F1DB765C67AD31B31D8B&yid=1833A6AA51F779C1&vid=339D79302DF62549&iid=59906B3B2830C2C5&sid=114891522AE71A91&eid=114891522AE71A91&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=1