In category theory he developed categorical logic.

在范畴理论中，他发展了范畴逻辑。

youdao

We can easily see now that it is identical with the categorical structure of "the doctrine of essence" in Part II, Science of Logic.

我们看到，这个结构与《逻辑学》第二篇“本质论”的范畴结构一致。

youdao

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.

汉语的否定句对应于逻辑上直言否定命题和复合命题中的负命题两种不同类型的命题。

youdao