線形含意

ウィキペディア小見出し辞書

線形含意（lolli、⊸）

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/16 14:33 UTC 版)

「線形論理」の記事における「線形含意（lolli、⊸）」の解説

上掲の論理積と論理和は世界の状態を定義するが、その記述は静的である。状態変化については、線形論理では線形含意の結合子（⊸）を定義している。資源的観点では、A ⊸ B は、資源 A を消費して資源 B を生成することを意味する。硬貨粉砕機があるとき、その作用は penny ⊸ smashed penny と表される。なお、含意自身も単一消費の原則に従わなければならない資源であることに注意されたい。