×

AxiomCalc（公理计算器）

swMATH ID: 20253
软件作者： 保罗·巴尔迪；蝉蜕、阿加塔；劳拉·斯潘迪尔
描述： MTL扩展的标准完整性：自动化方法。我们提供了超连续计算的一般条件，以保证形式化逻辑的标准完整性。这些条件在PROLOG系统AxiomCalc中实现，该系统将Monoid T范数逻辑MTL的任何适当公理扩展作为输入，并为逻辑和检查结果输出超连续演算。我们的方法包含了许多现有的结果，并允许计算机发现新的模糊逻辑。
主页： https://www.logic.at/tinc/webaxiomcalc/
相关软件：
引用于： 8文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
MTL扩展的标准完整性：自动化方法。 Zbl 1361.68184号
保罗·巴尔迪;蝉蜕、阿加塔;斯彭迪，劳拉
2012
全部的 前5名

11位作者引用

4 保罗·巴尔迪
三 蝉蜕、阿加塔
1 斯特凡诺·阿古佐利
1 马蒂奥·比安奇
1 Aleksandr Sergeevich，Gerasimov
1 乔治·梅特卡夫
1 雷文莎·拉马纳亚克
1 斯彭迪，劳拉
1 川崎捷瑞
1 康斯坦丁·齐纳基斯
1 海因里希·西奥多
全部的 前5名

6篇连载文章中引用

2 软计算
1 代数Universalis
1 模糊集与系统
1 Studia Logica公司
1 理论计算机科学
1 逻辑与逻辑哲学

在4个字段中引用

8 数学逻辑和基础（03-XX）
1 阶、格、有序代数结构（06-XX）
1 一般代数系统（08-XX）
1 计算机科学（68至XX）

按年份列出的引文