软体动物 swMATH ID: 32624 软件作者： Bradley L.理查兹。；伊娜·克拉恩；阿兰·斯梅尔（Alan Smaill）；杰兰特·威金斯。 描述： 软体：基于序列逻辑的通用证明开发外壳。本文描述了一个交互式证明开发外壳Mollusc[Richards 93]，它可以用于在基于序列的逻辑中构造和编辑证明。从概念上讲，软体动物可以被认为是牡蛎的独立逻辑继承者[Bundy等人90]。然而，当Oyster与Martin-Löf类型理论的变体联系在一起时，Mollus可以与任何提供了适当定义的基于序列的逻辑一起使用。尽管是在研究环境中开发的，但软体动物也应该适合在课堂练习中使用。除了校对编辑工具外，Mollus还支持新逻辑的定义，包括校对程序界面，并通过策略语言和解释程序提供自动校对构造。 主页： https://link.springer.com/chapter/10.1007/3-540-58156-1_69 相关软件： 牡蛎;蛤;Nuprl公司;InKa公司;NQTHM公司 引用于： 2文件 全部的 前5名6位作者引用 2 伊娜·克拉恩 1 David A.Basin。 1 阿兰·邦迪 1 布拉德利·理查兹。 1 斯梅尔，艾伦 1 杰兰特·威金斯。 连载1篇 1 自动推理杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文