A Characterization of Medial as Rewriting Rule
A Characterization of Medial as Rewriting Rule
复制标题
内侧重写规则的表征
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Lutz Straßburger
中科院分区：
文献类型：
--
作者：
Lutz Straßburger
MEDAL是一种基于深度推理的推理规则方案，出现在各种演绎系统中。本文研究了独立于逻辑的媒体重写规则的性质。我们给出了一个图论准则来检验两个公式之间是否存在中间重写路径。最后，我们回到逻辑，并应用我们的准则来给出分解定理的组合证明，即证明关于语法的理论陈述。
Medial is an inference rule scheme that appears in various deductive systems based on deep inference. In this paper we investigate the properties of medial as rewriting rule independently from logic. We present a graph theoretical criterion for checking whether there exists a medial rewriting path between two formulas. Finally, we return to logic and apply our criterion for giving a combinatorial proof for a decomposition theorem, i.e., proof theoretical statement about syntax.