MNiBLoS（移动互联网操作系统） swMATH ID: 32318 软件作者： 阿曼达·维达尔 描述： MNiBLoS：基于SMT的连续t-范数逻辑求解器及其一些模态扩展。在文献中，很少有人关注数学模糊逻辑系统求解器的发展，尤其是很少有涉及无穷值逻辑的著作。本文提出extit{mNiBLoS（一种模态Nice BL-Logics Solver）}：一种基于模块化SMT的求解器，它完成了一系列基于连续t-范数的模糊模态逻辑（具有有限和无限宇宙），将模态结构限制为有限的。在命题层次上，求解器与一些最著名的无限值模糊逻辑（包括BL、Łukasiewicz、Gödel和乘积逻辑）以及所有基于连续t-范数的逻辑（可以用前面的逻辑有限地表示）一起工作；关于模态展开，mNiBLoS对所考虑的模态结构的基数没有任何限制。求解器可以测试方程的1-可满足性、重言式和逻辑结果问题。支持的逻辑语言用有理常数和Monteiro-Baaz（Delta）运算符扩展了通常的模糊模态逻辑。mNiBLoS的代码是免费发布的，可以在作者的网页上找到。 主页： https://www.sciencedirect.com/science/article/pii/S0020025516306491 关键词： 模糊逻辑;模态逻辑;自动推理;连续t-范数;表面贴装技术;无限值逻辑 相关软件： Fuzzydl公司;z3型;SMT-LIB公司;Yices公司 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 MNiBLoS：基于SMT的连续t-范数逻辑求解器及其一些模态扩展。 Zbl 1428.68346号阿曼达·维达尔 2016 全部的 前5名6位作者引用 2 阿曼达·维达尔 1 保罗·阿格里亚诺 1 米克尔波菲尔 1 很多，费利普 1 萨拉·乌戈里尼 1 马图·维拉雷特 3篇连载文章中引用 1 信息科学 1 国际近似推理杂志 1 软计算 在2个字段中引用 三 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文