{
  "id": "1202.1755",
  "version": "v3",
  "published": "2012-02-08T16:23:38.000Z",
  "updated": "2015-06-03T18:10:37.000Z",
  "title": "An order-theoretic analysis of interpretations among propositional deductive systems",
  "authors": [
    "Ciro Russo"
  ],
  "journal": "Annals of Pure and Applied Logic, Vol. 164, Issue 2, 112-130, 2013",
  "categories": [
    "math.LO"
  ],
  "abstract": "In this paper we study interpretations and equivalences of propositional deductive systems by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to provide a general order-theoretic framework which is able to describe and characterize both strong and weak forms of interpretations among propositional deductive systems also in the cases where the systems have different underlying languages.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2012-09-24T12:41:12.000Z",
      "comment": "To appear on the Annals of Pure and Applied Logic",
      "doi": null
    },
    {
      "version": "v3",
      "updated": "2015-06-03T18:10:37.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03G27",
      "06F07"
    ],
    "keywords": [
      "propositional deductive systems",
      "order-theoretic analysis",
      "general order-theoretic framework",
      "study interpretations",
      "quantale-theoretic approach"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2012arXiv1202.1755R"
    }
  }
}