• 正體: 線性邏輯[電子計算機]