線形論理（せんけいろんり、）は、「弱化(weakning)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証明において「一回だけ」消費される。古典論理や直観論理のような論理体系では、仮説（前提）は必要に応じて何度でも使える。例えば、"A" と "A" ⇒ "B" という命題から "A" ∧ "B" という結論を導出するのは、次のようになる。これをシークエントで表すと、"A

出典:wikipedia