次一致性 swMATH ID: 28572 软件作者： 安德斯·施利奇特克鲁尔（Anders Schlichtkrull）；约根·维拉德森 描述： 一致性：一致性是指以一致的方式处理不一致性。在经典和直觉主义逻辑中，一切都遵循不一致的理论。次一致逻辑避免了爆炸。智能系统参考图书馆第110卷：走向准一致工程（Springer 2016）讨论了计算机科学和工程中的许多应用。我们形式化了一个次一致多值逻辑，我们在一期关于次一致性的逻辑方法的特刊中对此进行了激发和描述（应用非经典逻辑杂志，2005年）。我们仅限于高阶逻辑的命题片段。该逻辑基于所谓的关键等式，具有可数的无穷多真值。我们用有效性的定义证明了逻辑中的定理。我们验证了真值表，也验证了非定理的反例。我们证明了关于逻辑的元理论，最后我们研究了一个案例。 主页： https://www.isa-afp.org/entries/Paraconsistency.html 依赖项： 伊莎贝尔 相关软件： github；格栅；FOL_哈里森；提案解决方案；不可思议的校样机；抽象稳健性；经验证的校准仪；无Lambda RPO；存档正式证据；不完全性定理；FOL配件；摘要完整性；Knuth Bendix订单；叠加微积分；完备性定理；理论博物馆；IsaFoL公司；吉塔瓦；E定理证明器；拉瓦 引用于： 1文件 由1位作者引用 1 安德斯·施利奇特克鲁尔 连载1篇 1 自动推理杂志 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文