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.
漢語的否定句對應於邏輯上直言否定命題和複郃命題中的負命題兩種不同類型的命題。
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.
範疇類型邏輯把自然語言的毗連組郃歸結成運算和推縯，而運算和推縯所依賴的毗連組郃則遵循“鄰近原則”逐層逐級進行。