Special Issue: Logic and Cognition: The Progress in Logical Study in China

Ever since the late 20~(th) century, the de-velopment of computer science has entered anera of knowledge processing and intelligencesimulation. On the one hand, building logicalsystems to describe the characteristics ofadvanced cognitive process for knowledgerepresentation as well as the processing andexploration of new software has become themainstream of logical research. On the otherhand, the development of mathematical logic,