正规经典逻辑BFc的次协调性及推理悖论的解决(上)

经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。

正规经典逻辑BFc的次协调性及推理悖论的解决(下)

经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。