卡纳克 swMATH ID: 24046 软件作者： 塔雷克·穆罕默德·埃尔纳迪；Hoogewijs，阿尔伯特 描述： KARNAK是用于PPC的自动定理证明程序。本文介绍了KARNAK⋆，一个用于部分谓词演算PPC \8902；的自动定理证明程序。PPC⋆在[8]中作为LPF的等效逻辑引入，LPF是部分函数逻辑，是软件规范语言VDM的逻辑基础[10]。KARNAK \8902；用于证明LPF的一个完整子系统可以从PPC \8902 ;导出，因此可以得出PPC \5902；也是完整的。此外，还介绍了PPC和PPC之间的定理保持变换 主页： http://www.emis.de/journals/BBMS/Buletin/bul955/ELNADI.PDF 关键词： 卡纳克;自动定理证明器 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 KARNAK是用于PPC的自动定理证明程序。 Zbl 0851.68100号塔里克·穆罕默德·埃尔纳迪;艾伯特·胡格威伊斯 1995 2位作者引用 1 塔雷克·穆罕默德·埃尔纳迪 1 艾伯特·胡格威伊斯 连载1篇 1 比利时数学学会公报-西蒙·斯特文 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文