URGENT WARNING: Spam emails claiming to be Fascipedia are FRAUDULENT. We do NOT have mailing lists, send newsletters, or solicit funds ...ever. Report these scams to us immediately at admin@fascipedia.org.

Linear logic

From FasciPedia
Jump to navigation Jump to search

Linear logic is a refinement of classical logic 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. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain models. Linear logic contains a fully involutive negation while maintaining a strong constructive interpretation. Linear logic also provides new insights into the nature of proofs in both classical and intuitionistic logic. Given its focus on resources, linear logic has found many applications in Computer Science.