包邮中国表示法及其逻辑研究

导言 **章 中国表示法 **节 逻辑符号表示法概述 第二节 不用联结词的逻辑系统 第三节 中国表示法 第二章 基于中国表示法的二值逻辑系统 **节 形式语言 第二节 自然推演系统 第三节 排斥系统 第四节 语义及元理论 第五节 一阶形式语言 第三章 基于中国表示法的三值命题逻辑 **节 三值命题逻辑形式语言 第二节 三值命题逻辑自然推演系统 第三节 三值命题逻辑语义及元理论 第四章 三值逻辑系统3PC与LPC关系研究 **节 三值逻辑系统LPC 第二节 基于中国表示法的LPC 第三节 作为3PC子系统的LPC 第五章 三值逻辑与二值逻辑关系研究 **节 逻辑系统之间的关系比较 第二节 语形证明 第三节 语义分析 第六章 基于中国表示法的三值模态逻辑 **节 三值模态逻辑形式语言 第二节 三值模态逻辑常项的中国表示法 第三节 三值模态逻辑系统及其元理论 第七章 基于中国表示法的三值逻辑函数研究 **节 三值二元Sheffer函数的构造 第二节 三值二元Sheffer函数的类型 第三节 三值二元逻辑函数的表达能力 第四节 若干结论 附录1 第四章第三节证明对照 附录2 第五章第二节证明对照 参考文献