弗协调单主体认知逻辑系统C_nEK及其扩张

摘要

以弗协调命题逻辑Cn(1≤n<ω)为基础,在弗协调模态命题逻辑CnG′(1≤n<ω)的框架下,将弗协调逻辑措施应用于经典认知逻辑,建立一种可以处理弗协调性的基本的弗协调单主体认知逻辑系统CnEK。在CnEK的基础上,通过扩张的方法,可以进一步得到一系列的弗协调单主体认知逻辑系统。还给出了CEK的扩张系统CED和CET。