×

AxiomCalc(公理计算器)

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

按年份列出的引文