{
  "id": "1805.04852",
  "version": "v1",
  "published": "2018-05-13T10:09:16.000Z",
  "updated": "2018-05-13T10:09:16.000Z",
  "title": "Hypersequents and Systems of Rules: Embeddings and Applications",
  "authors": [
    "Agata Ciabattoni",
    "Francesco A. Genco"
  ],
  "comment": "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"
  ],
  "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.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2018-05-13T10:09:16.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "applications",
      "natural deduction rules",
      "hypersequent calculi",
      "hypersequent rules",
      "large class"
    ],
    "tags": [
      "journal article"
    ],
    "publication": {
      "publisher": "ACM",
      "journal": "Commun. ACM"
    },
    "note": {
      "typesetting": "TeX",
      "pages": 32,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}