×

LWB公司

swMATH ID: 1820
软件作者: 拉杰夫·戈尔;沃尔夫冈·海恩勒;阿兰·豪尔丁
描述: 命题正规模态逻辑之间的关系:综述。在这篇简短的论文中,作者首先提供了最常见的命题正规模态逻辑的公理目录(以及标准教科书、论文和报告中考虑的其他名称),然后调查了逻辑之间的关系,从而对最常见的模态逻辑进行了有益的概述;通过展示不同公理的可分割性,建立了逻辑的多个公理之间的等价性。为此,作者介绍了逻辑工作台LWB,这是一个命题模态和其他非经典逻辑的定理证明器。他们工作的一个令人愉快的副作用是,他们的公理目录提供了一个定理数据库,可以用作测试和比较模态逻辑不同定理证明器性能的基本基准。
主页: https://academic.oup.com/logcom/article/7/5/649/970231
关键词: 命题范式逻辑;公理化;逻辑工作台LWB;定理证明器;定理数据库;调查
相关软件: 超小卫星;吸血鬼;MSPASS公司;TPTP公司
引用于: 3文件

按年份列出的引文