超序列与规则系统：嵌入与应用
Hypersequents and Systems of Rules: Embeddings and Applications
摘要：
我们定义了一个双向嵌入hypereclipse演算和一个子类的系统的规则（2-系统）。除了表明这两个证明框架具有相同的表达能力，嵌入允许恢复2-系统的局部性的好处，一个大类这样的系统的分析结果，以及重写hyperprinciple规则作为自然演绎规则。
英文摘要：
We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of the benefits of locality for 2-systems, analyticity results for a large class of such systems, and a rewriting of hypersequent rules as natural deduction rules.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
