Linear logic is a refinement of classical and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources.

Is linear logic a non standard logic?

Examples of non-classical logics

There are many kinds of non-classical logic, which include: ... Linear logic rejects idempotency of entailment as well; Modal logic extends classical logic with non-truth-functional ("modal") operators.

What is linear logic programming?

Linear logic not only embraces computational themes directly in its design and foundation but also extends and enriches classical and intuitionistic logic, thus providing possibly new insights into the many computational systems built on those two logics.