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