From Language to Logic——Category and Type Logic Sequence
Chong Zou · Journal of Chongqing Institute of Technology · 2006
Category and Type Logic Sequence is an important school dealing with cross study between language and logics in recent 30 years,and a formal semantic theory having great effect on the computerized process of natural languages.This theory takes the generation of natural languages as the operation and deduction of category,on the basis of which the sentence systems of natural languages are constituted,and the direct and indirect semantic explanations are established.On the other hand,it constitutes the logic system for category deduction and equips with simulated semantic explanations of the possible world.The study results on category and type logic sequence can be directly applied in the computer information process of natural languages and in the theoretical study on formal semantics of Chinese language.