categorical logic

基本解釋

We need to provide a method, describing the flexible word order in Chinese, from Categorical Type Logic.
從范疇類型邏輯角度看，需要提供說明漢語靈活語序的工具。
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īng)于邏輯上直言否定命題和復(fù)合命題中的負(fù)命題兩種不同類型的命題。
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.
范疇類型邏輯把自然語言的毗連組合歸結(jié)成運算和推演，而運算和推演所依賴的毗連組合則遵循“鄰近原則”逐層逐級進(jìn)行。