中國表示法及其邏輯研究

導言
章 中國表示法
節(jié) 邏輯符號表示法概述
第二節(jié) 不用聯結詞的邏輯系統(tǒng)
第三節(jié) 中國表示法
第二章 基于中國表示法的二值邏輯系統(tǒng)
節(jié) 形式語言
第二節(jié) 自然推演系統(tǒng)
第三節(jié) 排斥系統(tǒng)
第四節(jié) 語義及元理論
第五節(jié) 一階形式語言
第三章 基于中國表示法的三值命題邏輯
節(jié) 三值命題邏輯形式語言
第二節(jié) 三值命題邏輯自然推演系統(tǒng)
第三節(jié) 三值命題邏輯語義及元理論
第四章 三值邏輯系統(tǒng)3PC與LPC關系研究
節(jié) 三值邏輯系統(tǒng)LPC
第二節(jié) 基于中國表示法的LPC
第三節(jié) 作為3PC子系統(tǒng)的LPC
第五章 三值邏輯與二值邏輯關系研究
節(jié) 邏輯系統(tǒng)之間的關系比較
第二節(jié) 語形證明
第三節(jié) 語義分析
第六章 基于中國表示法的三值模態(tài)邏輯
節(jié) 三值模態(tài)邏輯形式語言
第二節(jié) 三值模態(tài)邏輯常項的中國表示法
第三節(jié) 三值模態(tài)邏輯系統(tǒng)及其元理論
第七章 基于中國表示法的三值邏輯函數研究
節(jié) 三值二元Sheffer函數的構造
第二節(jié) 三值二元Sheffer函數的類型
第三節(jié) 三值二元邏輯函數的表達能力
第四節(jié) 若干結論
附錄1 第四章第三節(jié)證明對照
附錄2 第五章第二節(jié)證明對照
參考文獻