Logic with limited contraction and weakening.

Linear logic limits some of the deduction rules that hold in classical logic. Both contraction and weakening rules are replaced by less powerful versions.

Linear logic has applications in programming language semantics. For LTL in verification and modal logic, use instead.