categorical logic

基本解釋

We need to provide a method, describing the flexible word order in Chinese, from Categorical Type Logic.
從范疇類(lèi)型邏輯角度看，需要提供說(shuō)明漢語(yǔ)靈活語(yǔ)序的工具。
Negative sentences in Chinese are corresponding to two kinds of different propositions in logic. They are categorical negative proposition and the negative proposition of compound proposition.
漢語(yǔ)的否定句對(duì)應(yīng)于邏輯上直言否定命題和復(fù)合命題中的負(fù)命題兩種不同類(lèi)型的命題。
In categorical type logic, the concatenation of natural language is viewed as the process of computation and deduction, which, based on the principle of adjacency, is implemented hierarchically.
范疇類(lèi)型邏輯把自然語(yǔ)言的毗連組合歸結(jié)成運(yùn)算和推演，而運(yùn)算和推演所依賴(lài)的毗連組合則遵循“鄰近原則”逐層逐級(jí)進(jìn)行。