arXiv:1805.04852 Abstract | arXiv Analytics

arXiv:1805.04852 [math.LO]Abstract References Reviews Resources

Hypersequents and Systems of Rules: Embeddings and Applications

Published 2018-05-13Version 1

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.

Comments: 32 pages, the final publication is available at ACM DL via https://dl.acm.org/citation.cfm?id=3180075

Journal: ACM Transactions on Computational Logic (TOCL). Volume 19, Issue 2, Article No. 11. 2018

DOI: 10.1145/3180075

Categories: math.LO

Keywords: applications, natural deduction rules, hypersequent calculi, hypersequent rules, large class

Tags: journal article

Related articles: Most relevant | Search more

arXiv:1510.02935 [math.LO] (Published 2015-10-10)

Shelah's strong covering property and CH in V[r]

Esfandiar Eslami, Mohammad Golshani

arXiv:1804.01573 [math.LO] (Published 2018-04-04, updated 2018-09-29)

A transfer principle for second-order arithmetic, and applications