×

HyLoRes公司

swMATH ID: 17660
软件作者: Areces,C。;J.Heguiabehere。
描述: HyLoRes:一个用于混合逻辑的基于分辨率的定理证明。HyLoRes是混合逻辑的直接分辨率证明程序。这些是类模态逻辑,具有引用模型中对象的功能。HyLoRes最有趣的特点是它不是基于tableau算法,而是基于(直接)分辨率。HyLoRes直接对模态(或混合)输入执行解析,而不转换为背景逻辑。HyLoRes融合了最先进的一阶证明思想和混合对象语言的简单表示
主页: http://hylo.loria.fr/intohylo/hylores.php
相关软件: 斯巴达克斯;HyLoTab标签;HTab公司;github;BDD标签;弯曲;野牛;InKreSAT公司;MSPASS公司;故障电流互感器++;VAMPIRE公司;水獭;HGen公司;西比尔;彼拉多;希律王;TPTP公司;SPASS公司;TRP公司++;E定理证明器
引用于: 7文件

2篇连载文章中引用

2 自动推理杂志
1 应用逻辑杂志

按年份列出的引文