重建器 swMATH ID: 32101 软件作者： 阿里尔·乔纳森·罗菲 描述： 重构器：一种使用三值逻辑来表示经验科学环境中信息缺乏的计算机程序。在本文中，我在形式元理论领域开发了三个概念创新，并提出了一个名为Reconstructor的计算机程序来实现这些开发。第一个发展是测试科学理论的正式重建的方法，包括检查范式成功应用到模型中的翻译是否满足法律的正式化，以及不成功的应用是否不满足。我展示了Reconstructor如何帮助实现这一点，因为它允许最终用户指定一种形式语言、输入公理和用该语言表示的模型，然后询问这些模型是否满足公理。第二个创新是在科学元理论中引入了不完整模型（其中一些术语的外延缺失），以表示缺失信息的情况。我指定构建在Reconstructor中的仿完整语义来处理出现外延失败的句子。第三个发展是用一种新的方式来解释确定方法的结构主义概念，将其等同于算法。这允许将确定方法加载到Reconstructor中，然后在模型中执行，以找出以前非表示项的值（即，它允许正式重建进行预测）。反过来，这可以帮助以不同的方式测试重建。最后，我对程序可能具有的其他用途提出了一些建议。 主页： https://www.tandfonline.com/doi/abs/10.1080/11663081.2019.1703467？journalCode=tncl20 关键词： 形式元理论；计算机程序；重构器；笛卡尔力学；元理论结构主义 相关软件： 产品生命周期管理；伊莎贝尔/HOL 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 重构器：一种使用三值逻辑来表示经验科学环境中信息缺乏的计算机程序。 Zbl 1444.68288号阿里尔·乔纳森·罗菲 2020 1位作者引用 1 阿里尔·乔纳森·罗菲 连载1篇 1 应用非经典逻辑杂志 在3个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 1 粒子和系统力学（70-XX） 按年份列出的引文