Hypersequents and Systems of Rules: Embeddings and Applications
Logic
2018-05-15 v1
Abstract
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.
Cite
@article{arxiv.1805.04852,
title = {Hypersequents and Systems of Rules: Embeddings and Applications},
author = {Agata Ciabattoni and Francesco A. Genco},
journal= {arXiv preprint arXiv:1805.04852},
year = {2018}
}
Comments
32 pages, the final publication is available at ACM DL via https://dl.acm.org/citation.cfm?id=3180075