categorical logic
常見例句
- We need to provide a method, describing the flexible word order in Chinese, from Categorical Type Logic.
從范疇類型邏輯角度看,需要提供說明漢語(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ù)命題兩種不同類型的命題。 - 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.
范疇類型邏輯把自然語(yǔ)言的毗連組合歸結(jié)成運(yùn)算和推演,而運(yùn)算和推演所依賴的毗連組合則遵循“鄰近原則”逐層逐級(jí)進(jìn)行。 返回 categorical logic