{
  "id": "1610.08700",
  "version": "v1",
  "published": "2016-10-27T11:00:21.000Z",
  "updated": "2016-10-27T11:00:21.000Z",
  "title": "Admissibility in Positive Logics",
  "authors": [
    "Alex Citkin"
  ],
  "categories": [
    "math.LO"
  ],
  "abstract": "The paper studies admissibility of multiple-conclusion rules in the positive logics. Using modification of a method used by M.~Wajsberg in the proof of the separation theorem, it is shown that the problem of admissibility in positive logics is equivalent to the problem of admissibility in intermediate logics defined by positive additional axioms.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2016-10-27T11:00:21.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03B55",
      "03B60",
      "03C05"
    ],
    "keywords": [
      "positive logics",
      "paper studies admissibility",
      "separation theorem",
      "intermediate logics",
      "positive additional axioms"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}