關(guān)于邏輯聯(lián)詞的完全集與CL中不動(dòng)點(diǎn)組合算子的結(jié)構(gòu)研究.pdf

1、這篇碩士論文集中了作者在攻讀碩士學(xué)位期間的主要研究成果. 第一章緒論中，主要對(duì)數(shù)理邏輯、λ-演算和組合邏輯作一個(gè)概述并闡明本文的研究背景. 在第二章中，我們主要討論有關(guān)邏輯聯(lián)結(jié)詞的完全集的問(wèn)題，著眼于4個(gè)一元邏輯聯(lián)結(jié)詞和16個(gè)二元邏輯聯(lián)結(jié)詞，深入分析和討論了這20個(gè)邏輯聯(lián)結(jié)詞之間的相互關(guān)系，定義了有關(guān)聯(lián)結(jié)詞集的表出、表出等價(jià)、表出相關(guān)、表出無(wú)關(guān)以及表出封閉等概念，并且給出與此相關(guān)的幾條引理.以這幾條引理為工具，我們考察這

2、20個(gè)聯(lián)結(jié)詞的所有組合，從中得到46個(gè)聯(lián)結(jié)詞的極小完全集，其中單元素聯(lián)結(jié)詞極小完全集2個(gè)，雙元素聯(lián)結(jié)詞極小完全集34個(gè)，三元素聯(lián)結(jié)詞極小完全集10個(gè)，無(wú)其它的組合構(gòu)成聯(lián)結(jié)詞的極小完全集. 在第三章，考慮到在純?chǔ)?演算中的Bǒhm-VanderMey定理對(duì)不動(dòng)點(diǎn)組合算子的結(jié)構(gòu)有一個(gè)簡(jiǎn)單而明晰的刻劃，且此定理在CLw系統(tǒng)中不真，因此我們的主要目標(biāo)是在CLw中對(duì)不動(dòng)點(diǎn)組合算子作一結(jié)構(gòu)刻劃.我們證明了在CLw中不動(dòng)點(diǎn)組合算子是一個(gè)形如S

3、PQ的函數(shù)項(xiàng).并且，我們進(jìn)一步指出，通過(guò)添加適當(dāng)?shù)耐庋右?guī)則或公理可以使CLw成為一個(gè)Bǒhm-VanderMey定理在其中成立的形式系統(tǒng).本章的最后部分我們討論關(guān)于不動(dòng)點(diǎn)組合算子的范式相關(guān)問(wèn)題，比較不動(dòng)點(diǎn)組合算子的范式在CLw系統(tǒng)和λβ系統(tǒng)中的不同情況，給出了一個(gè)CLw中不動(dòng)點(diǎn)組合算子范式的不可判定定理. 在第四章，我們考慮組合邏輯形式系統(tǒng)CLζw的外延性問(wèn)題，由于在標(biāo)準(zhǔn)轉(zhuǎn)換的意義下形式系統(tǒng)CLζw弱于形式系統(tǒng)λβ和λβη，我們