The system is sound and complete,and based on it we can obtain different normal cognition logics by adding a series of axiom sequences.

• 该系统具有可靠性和完备性,在此基础上添加一些公理序列可得到许多不同的正规认知逻辑系统。