版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、河南大學(xué)碩士學(xué)位論文盧卡西維茨多值邏輯及其與一些邏輯的比較姓名:賈國(guó)恒申請(qǐng)學(xué)位級(jí)別:碩士專業(yè):邏輯學(xué)指導(dǎo)教師:李娜2003.5.1在第二章中,文章首先分析了存在多種不同的多值邏輯系統(tǒng)的原因。論文簡(jiǎn)單介紹了玻赫瓦爾的三值邏輯系統(tǒng)隊(duì)克林的三值邏輯系統(tǒng)K 。以及朱梧橫、肖奚安的中介邏輯M P 和波斯特的多值邏輯系統(tǒng)P 3 ,并將它們與盧卡西維茨多值邏輯相對(duì)比,以期對(duì)多值邏輯有一個(gè)更好的了解。這一章對(duì)比順序的安排如下:首先是B 3 與K 3 和
2、L 3 的對(duì)比。這是規(guī)范的系統(tǒng)之間的對(duì)比,并且它們都是從語(yǔ)義分析的角度構(gòu)建起來(lái)的系統(tǒng):但B 3 和K 3 又有所不同:B 3 是從悖論分析的角度構(gòu)建起來(lái)的,而K 3 則是從本體論和認(rèn)識(shí)論分析相結(jié)合的角度構(gòu)建起來(lái)的。然后是M P 和L 3 的對(duì)比。這是規(guī)范的與非規(guī)范的系統(tǒng)之間的對(duì)比,但同時(shí)M P 又是從語(yǔ)義分析的角度構(gòu)建起來(lái)的系統(tǒng)。最后是P 。和L 。的對(duì)比。P 。是從純形式的角度分析并構(gòu)建起來(lái)的系統(tǒng),因此它與L 。的對(duì)比是純形式分析系統(tǒng)
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 盧卡西維茨多值邏輯及其與一些邏輯的比較.pdf
- 盧卡西維茨的多值模態(tài)邏輯系統(tǒng)探析.pdf
- 奇異多值邏輯網(wǎng)絡(luò)的一些基本問(wèn)題-半張量積方法.pdf
- 多值邏輯函數(shù)組的置換.pdf
- 多值邏輯函數(shù)的結(jié)構(gòu)理論.pdf
- 部分多值邏輯中Sheffer函數(shù)的判定.pdf
- 多值邏輯理論的若干問(wèn)題研究.pdf
- 多值邏輯的歷史發(fā)展與哲學(xué)問(wèn)題探究.pdf
- 多值邏輯代數(shù)中若干問(wèn)題的研究.pdf
- 多值邏輯理論在控制領(lǐng)域的應(yīng)用探索.pdf
- 現(xiàn)代密碼學(xué)中的多值邏輯函數(shù).pdf
- 8086.多值邏輯的歷史發(fā)展與哲學(xué)問(wèn)題探究
- 基于多值邏輯狀態(tài)機(jī)的需求分歧研究
- 多值邏輯系統(tǒng)H-,α-與偏蘊(yùn)涵代數(shù).pdf
- 基于多值邏輯狀態(tài)機(jī)的需求分歧研究.pdf
- 一元道義邏輯及其中一些悖論
- 多值邏輯網(wǎng)絡(luò)的輸出跟蹤牽制控制設(shè)計(jì)及應(yīng)用.pdf
- 基于多值邏輯的軟件產(chǎn)品線模型檢測(cè).pdf
- 多值邏輯的聯(lián)結(jié)詞、系統(tǒng)和代數(shù)語(yǔ)義.pdf
- 一元道義邏輯及其中一些悖論.pdf
評(píng)論
0/150
提交評(píng)論