1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究修正的G?del系统的子代数中F(S)的分划及升级算法.pdf

论文研究修正的G?del系统的子代数中F(S)的分划及升级算法.pdf

上传者: 2020-03-14 20:33:28上传 PDF文件 497.84KB 热度 25次
将修正的G?del逻辑系统中广义矛盾式理论推广,讨论了修正的G?del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集[F(S)]的一种分划。
下载地址
用户评论