范疇類型邏輯

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