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.
范畴类型逻辑把自然语言的毗连组合归结成运算和推演，而运算和推演所依赖的毗连组合则遵循“邻近原则”逐层逐级进行。