HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

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

作者:陈自立蕴涵推理重言系统自然推理悖理标记逻辑稳固性二极背反非此即彼正则性应用公理事实的规律层次事实的现实层次

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

河池学院学报

《河池学院学报》(CN:45-1332/C)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。

杂志详情