COMP 426 Automated Reasoning
Lecture 25: Linear logic (2)

We continue our discussion of linear logic. In particular, we will extend our linear framework to distinguish between resources which can be used only once and resources of which we have an unlimited supply. The discussion of linear logic connectives and rules will also summarize and apply some of the concepts we have seen in the course, such as local soundness and completeness and ways to achieve a proof search procedure. We will wrap up the brief discussion of linear logic by continuing the discussion of the blocks world.

• Reading: in preparation
• Code: in preparation
• Previous lecture: Linear Logic (1)

[ Home | Schedule | Assignments | Projects | Handouts | Software | Overview ]

bp@cs.mcgill.ca
Brigitte Pientka