{
  "id": "1412.7998",
  "version": "v1",
  "published": "2014-12-26T22:11:44.000Z",
  "updated": "2014-12-26T22:11:44.000Z",
  "title": "Propositional Logics of Dependence and Independence, Part I",
  "authors": [
    "Fan Yang",
    "Jouko Väänänen"
  ],
  "comment": "30 pages, Part I of a series of two papers",
  "categories": [
    "math.LO",
    "cs.LO"
  ],
  "abstract": "In this series of two papers, we study the logics of dependence and independence concepts in propositional logic. In this first paper, we define propositional dependence logic, propositional intuitionistic dependence logic, as well as some interesting variants of them. We study the expressive power of these logics, provide deductive systems and prove completeness theorems for them. Part 2 of this sequence of papers will focus on propositional independence logic.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2014-12-26T22:11:44.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03B60"
    ],
    "keywords": [
      "propositional logic",
      "propositional intuitionistic dependence logic",
      "define propositional dependence logic",
      "propositional independence logic",
      "completeness theorems"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 30,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2014arXiv1412.7998Y"
    }
  }
}