Linear Logic

This is a test note with some existing content.

Abstract

Linear logic is a refinement of classical and intuitionistic logic that provides a way to reason about resources.

See also: Proof Theory, Category Theory