范疇類型邏輯

緒論
第一章　范疇類型邏輯的發(fā)展階段
第1節(jié)　古典范疇語(yǔ)法
1.1　范疇和運(yùn)算
1.2　形式化表述
1.3　古典范疇語(yǔ)法的變異
第2節(jié)　Lambek句法演算
2.1　運(yùn)算即推演
2.2　形式系統(tǒng)
第3節(jié)　蒙太格語(yǔ)法
3.1　范疇語(yǔ)法的獨(dú)特形態(tài)
3.2　通用語(yǔ)法模式
3.3　直接和間接的語(yǔ)義解釋
第4節(jié)　類型-邏輯語(yǔ)義學(xué)
4.1　句法和語(yǔ)義的綜合表述
4.2　后承演繹圖式和自然演繹系統(tǒng)
4.3　關(guān)于量化表達(dá)式的處理
第5節(jié)　語(yǔ)法邏輯
5.1　公理系統(tǒng)
5.2　框架語(yǔ)義學(xué)
5.3　GentZen后承表述
5.4　合并或交織的多模態(tài)系統(tǒng)
第二章　范疇類型邏輯的特性--邏輯的新功能
第1節(jié)　范疇類型邏輯的自然語(yǔ)言語(yǔ)句系統(tǒng)
1.1　蒙太格語(yǔ)法的語(yǔ)句系統(tǒng)
1.2　類型-邏輯語(yǔ)義學(xué)的語(yǔ)句系統(tǒng)
第2節(jié)　范疇類型邏輯和自然語(yǔ)言的計(jì)算機(jī)處理
2.1　基于范疇類型邏輯的邏輯程序語(yǔ)言
2.2　基于范疇類型邏輯的語(yǔ)法自動(dòng)分析
第3節(jié)　范疇類型邏輯的邏輯系統(tǒng)
3.1　Lambek演算對(duì)判定問題的解決
3.2　對(duì)應(yīng)詞項(xiàng)的完全性證明
3.3　展示自然語(yǔ)言句法生成的語(yǔ)法邏輯
3.4　表現(xiàn)自然語(yǔ)言語(yǔ)義的高階內(nèi)涵邏輯
第4節(jié)　邏輯的新功能--關(guān)于自然語(yǔ)言的邏輯系統(tǒng)
4.1　源于語(yǔ)言照應(yīng)關(guān)系的動(dòng)態(tài)邏輯
4.2　用于語(yǔ)法分析的特征結(jié)構(gòu)邏輯
4.3　基于情境關(guān)聯(lián)的信息流邏輯
第三章　范疇類型邏輯研究
第1節(jié)　非連續(xù)量詞的類型-邏輯語(yǔ)義處理
第2節(jié)　有關(guān)漢語(yǔ)靈活語(yǔ)序的多模態(tài)范疇邏輯
第3節(jié)　融合特征結(jié)構(gòu)的范疇類型推演
第4節(jié)　處理照應(yīng)關(guān)系的范疇類型推演
參考文獻(xiàn)
后記