Linear logic

Formalism (philosophy) Reasoning Strict logic List of set theory topics Computability logic Avicenna Antinomy Critical thinking Fictionalism Axiomatic system Abductive reasoning Constructivism (mathematics) Butter Validity Relevant logic Decidability (logic) Saul Kripke Bertrand Russell Proof net Deontic logic Formal proof Set theory Logical connective Vending machine List of topics in logic Model theory Logic in China Relation (mathematics) Boolean function Logician Cut-elimination theorem Cream Syntax (logic) Soundness List of rules of inference Introduction rule Charles Peirce Nyāya Sūtras Propositional logic Uniqueness type Element (mathematics) Table of logic symbols Giuseppe Peano PSPACE-complete Georg Cantor Hilary Putnam Alan Turing Dual List of boolean algebra topics Syllogism Consistency Shahab al-Din Suhrawardi Paraconsistent logic Modal logic Dialetheism Recursion theory Intuitionism Deductive reasoning Truth table Alfred Tarski Ibn Taymiyyah Formula (mathematical logic) Undecidable List of paradoxes Non-monotonic logic Identity element Term logic Ordered logic Ludics Quantification Predicate logic Thoralf Skolem Monotonicity of entailment Paradox Fuzzy logic Finitism Independence (mathematical logic) Chu space Jean-Yves Girard Elimination rule Aristotle Non-commutative logic Nominalism Associative Mathematical logic Mathematical proof Modal operator Philosophical logic Modus ponens Rule of inference List of logicians

---

Français - Logique linéaire
日本語 - 線形論理
中文 - 线性逻辑