線形論理 - Wikipedia

線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証明において「一回だけ」消費される。古典論理や直観論理のような論理体系では、仮説（前提）は必要に応じて何度でも使える。例えば、A と A ⇒ B という命題から A ∧ B という結論を導出するのは、次のようになる。 A と A ⇒ B を前提とするモーダスポネンス（あるいは自然演繹でいう含意の除去）により、B が得られる。 前提 A と (1) の論理積から A ∧ B が得られる。 これをシークエントで表すと、A, A ⇒ B ⊢ A ∧ B となる。上記の証明ではどちらの行でも、A が真であ

[Jxck]

π計算が !, ? を使うのは、線形理論の指数的結合子が由来らしい。資源的解釈において、! は「任意生産 (arbitrary production)」を表し、? は「任意消費 (arbitrary consumption)」を表す。http://d.hatena.ne.jp/sumii/20070522/p4

[suprenyan]

線形論理こわ