On the Completeness of Spider Diagrams Augmented with Constants
On the Completeness of Spider Diagrams Augmented with Constants
复制标题
常量增广蜘蛛图的完备性
DOI：
10.1007/978-3-0348-0600-8_7
复制
发表时间：
2013
影响因子：
0.8
通讯作者：
P. Chapman
中科院分区：
文献类型：
--
作者：
Gem Stapleton;J. Howse;S. Thompson;John Taylor;P. Chapman
图解推理可以用若干图解逻辑进行形式化描述；蜘蛛图就是其中之一，用于表达关于集合成员和包含的逻辑陈述。在这里，对蜘蛛图的现有工作进行了扩展，以包括代表特定个体的恒定蜘蛛。在引入一组封装逻辑等价和逻辑推论的推理规则之前，我们给出了扩展图语言的形式化语法和语义。我们证明了所得到的逻辑是健全的、完整的和可判定的。
Diagrammatic reasoning can be described formally by a number of diagrammatic logics; spider diagrams are one of these, and are used for expressing logical statements about set membership and containment. Here, existing work on spider diagrams is extended to include constant spiders that represent specific individuals. We give a formal syntax and semantics for the extended diagram language before introducing a collection of reasoning rules encapsulating logical equivalence and logical consequence. We prove that the resulting logic is sound, complete and decidable.
影响因子：
--
作者：
Stapleton G
通讯作者：
Stapleton G