Linear logic is a substructural logic that combines the dualities of classical logic with the constructive properties of intuitionistic logic. It has been influential in fields such as programming languages, game semantics, quantum physics, and linguistics due to its emphasis on resource-boundedness, duality, and interaction. It is proof-theoretically derived from an analysis of classical sequent calculus and operationally means logical deduction is about manipulating resources.
Carnegie Mellon University
Fall 2021
This undergraduate course introduces students to constructive logics such as intuitionistic and linear logic, focusing on their use in computer science. The goal is to understand the distinction between classical and constructive logic, define logical connectives, implement theorem provers, and explore computational interpretations of logics. Concepts covered include natural deduction, sequent calculus, logic programming, linear logic, and many more.
No concepts data
+ 35 more concepts