Linear Logic

[Revised entry by Roberto Di Cosmo and Dale Miller on September 19, 2014. Changes to: Main text, Bibliography] Linear logic is a refinement of classical and intuitionistic logic. Instead of
Philosophy News image
[Revised entry by Roberto Di Cosmo and Dale Miller on September 19, 2014. Changes to: Main text, Bibliography] 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. To achieve this focus, linear...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus