線性矢列演算(linear sequent calculus)線性邏輯的根岑型推理系統。
在此就命題演算介紹這樣的系統.公式由聯結詞②,c}.田,①作用於原子命題及其否定以及常元，1，土，T,0而得，公式的否定由德·摩根律定義:
在以上的演算中可加上量詞、模態詞和無窮聯結詞，然而線性邏輯的本質完全可在以上系統中體現，在添加這些內容後，通常的邏輯就能嵌入於線性邏輯中.
在以上的演算中可加上量詞、模態詞和無窮聯結詞，然而線性邏輯的本質完全可在以上系統中體現，在添加這些內容後，通常的邏輯就能嵌入於線性邏輯中.
