AxiomCalc(公理计算器) swMATH ID: 20253 软件作者: 保罗·巴尔迪;蝉蜕、阿加塔;斯彭迪,劳拉 描述: MTL扩展的标准完整性:自动化方法。我们提供了超连续计算的一般条件,以保证形式化逻辑的标准完整性。这些条件在PROLOG系统AxiomCalc中实现,AxiomCalc将单调T范数逻辑MTL的任何合适的公理化扩展作为输入,并输出逻辑的超序列演算和检查结果。我们的方法包含了许多现有的结果,并允许计算机发现新的模糊逻辑。 主页: https://www.logic.at/tinc/webaxiomcalc/ 相关软件: 引用于: 7文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 MTL扩展的标准完整性:自动化方法。 Zbl 1361.68184号保罗·巴尔迪;蝉蜕、阿加塔;斯彭迪,劳拉 2012 全部的 前5名10位作者引用 4 保罗·巴尔迪 三 蝉蜕、阿加塔 1 斯特凡诺·阿古佐利 1 马蒂奥·比安奇 1 乔治·梅特卡夫 1 雷文莎·拉马纳亚克 1 斯彭迪,劳拉 1 川崎捷瑞 1 君士坦丁·齐纳基斯 1 海因里希·西奥多 5篇连载文章中引用 2 软计算 1 代数普遍性 1 模糊集与系统 1 Studia Logica公司 1 理论计算机科学 在4个字段中引用 7 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 计算机科学(68-XX) 按年份列出的引文