关于逻辑联词的完全集与CL中不动点组合算子的布局研究.pdfVIP

关于逻辑联词的完全集与CL中不动点组合算子的结构研究 摘 要 这篇硕士论文集中了作者在攻读硕士学位期问的主要研究成果 第一章绪论中，主要对数理逻辑、五一演算和组合逻辑作一个概述并阐明本 文的研究背景． 在第二章中，我们主要讨论有关逻辑联结词的完全集的问题，着眼于4个一 元逻辑联结词和16个二元逻辑联结词，深入分析和讨论了这20个逻辑联结词之 间的相互关系，定义了有关联结词集的表出、表出等价、表出相关、表出无关以 及表出封闭等概念，并且给出与此相关的几条引理．以这几条引理为工具，我们 考察这20个联结词的所有组合，从中得到46个联结词的极小完全集，其中单元 素联结词极小完全集2个，双元素联结词极小完全集34个，三元素联结词极小 完全集10个，无其它的组合构成联结词的极小完全集． der 在第三章，考虑到在纯五一演算中的B6hm．Van Mey定理对不动点组合 算子的结构有一个简单而明晰的刻划，且此定理在CLw系统中不真，因此我们 的主要目标是在CLw中对不动点组合算子作一结构刻划．我们证明了在CLw中 不动点组合算子是一个形如SpQ的函数项．并且，我们进一步指出，通过添加 的形式系统．本章的最后部分我们讨论关于不动点组合算子的范式相关问题，比 较不动点组合算子的范式在CLw系统和够系统中的不同情况，给出了一个CLw 中不动点组合算子范式的不可判定定理． 在第四章，我们考虑组合逻辑形式系统比彘的外延性问题，出于在标准转 换的意义下形式系统c三氕弱于形式系统，i∥和帮77，我们采用_leo方式对形式系 统(z乞进行外延，前两种使之与形式系统印等价，后一种与形式系统五励等 价．作为推论，我们亦证明了前两种外延系统是定理等价的． 在第五章，我们给出了五一模型见的一个基本投射不等式，它在文献[17] 中证明仉是一个五一模型时的地位是重要的，但文献【17】将它误认为是一个等式 的多次运用． 关键词：极小完全集，CLw，—夕，五芦7，不动点组合算子，见 THE SETOFLOGICAL THESTRUDYON ADEQUATE ANDTHESTRUCTUREoFTHE CoNNECTIVES INCL FIXED．POINTCoMBINAToRS ABSTRACT dissertationcollectsthemainresultsobtainedtheauthor the This by during whenhehas fortheM．D． period applied In introducethemathematical and chapterone，we logic，五一calculus todescribethe oftheresearch． combinatory background logicbriefly In of discussthe set two，we adequatelogicalconnectives， chapter mainly on4lobicalconnectivesofonevari