联合演算在处理传统推论学说中存在的若干问题评析  

作　　者：马雷 

出　　处：《华东师范大学学报（哲学社会科学版）》1994年第6期68-73,共6页Journal of East China Normal University（Humanities and Social Sciences）

摘　　要：如何运用现代数理逻辑的工具系统地处理传统推论学说?希尔柏脱(D·Hilbert)和阿克曼(W·Ackermann)在《数理逻辑基础》(科学出版社,1958年版。以下简称《基础》)中专门探讨了这一问题,克劳斯(G·Klaus)在《形式逻辑导论》(上海译文出版社,1981年版。以下简称《导论》)中作了进一步的阐释和发挥。对于这两部著作所论及的相关知识。

关 键 词：联合演算 命题演算 论学 永真式 基本命题 类演算 析取 命题逻辑 定项 若干问题 

分 类 号：O141[理学—数学]