線形論理

書き方をよく忘れてしまうのでメモ。 Unicode, 文字実体参照, TeX での書き方。

• multicative AND
  • 「⊗」「U+2297」「⊗」「\otimes」
  • 「⨂」「U+2A02」「\bigotimes」
• multicative OR (‘par’)
  • 「⅋」「U+214B」「\dnasrepma」
• multicative TRUE
  • 「I」
• multicative FALSE
  • 「⊥」「U+22A5」「⊥」「\bot」
• additive AND (‘with’)
  • 「&」
• additive OR
  • 「⊕」「U+2295」「⊕」「\oplus」
  • 「⨁」「U+2A01」「\bigoplus」
• additive TRUE
  • 「⊤」「U+22A4」「\top」
• additive FALSE
  • 「0」
• linear implication
  • 「⊸」「U+22B8」「\multimap」
• !
  • (contraction)
  • "of course"
• ?
  • (weakening)
  • "why not"

ILL

Intuitionistic Linear Logic.

MILL

Multicative Intuitionistic Linear Logic. ⊗,1,⊸ からなるILLのフラグメント．

DILL

Dual Intuitionistic Linear Logic.