Research areas:

l         The Logic of Cognition

l         Mathematical Logic

l         Logic of Artificial Intelligence

l         Logic of Natural Language

Current researchs:

l         Research and Application of Informal Logic(Prof. Qingying Liang, 2003-2006)

l         Studies of hyper-intensional Logic(Prof. Shier Ju, 2004-2007)

l         Knowledge Representation and Reasoning System Base on Natural Language(Prof. Shier Ju, 2004-2007)

l         Research and Application of Inductive Logic(Prof. Xiaowu Li, 2005-2008)

l         Theoretic and Algorithmic Research into Quantified Boolean Formulas(Prof. Xishun Zhao, 2006-2008)