{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA ternary semantics is a possible worlds semantics that makes use of a ternary relation on possible worlds instead of, or in addition to, the more standard binary accessibility relation. Ternary semantics have been most widely applied in the development of relevant logics.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "M9P728Y2FH"
    ],
    "kind": "concept",
    "name": "Ternary semantics",
    "sources": [
      {
        "locator": "Glossary of logic, section T",
        "mention": "wikipedia://en/76765067#MEBD",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "H4Z8J0KMAY"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/H4Z8J0KMAY/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/H4Z8J0KMAY.md",
  "msc": null,
  "name": "Ternary semantics",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/H4Z/H4Z8J0KMAY.md",
  "status": null,
  "tag": "H4Z8J0KMAY",
  "uri": "m2://H4Z8J0KMAY",
  "url": "https://math2.tamnd.com/wiki/ternary-semantics/",
  "writing": {
    "tag": "H4Z8J0KMAY",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}