Introduction to linear logic

Andres Ojamaa

Thursday, 23 February 2006, 10:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Slides from the talk [pdf]

Abstract: Linear logic is a refinement of classical logic introduced by J.-Y. Girard that provides logical tools for keeping track of resources and has taken part in shaping contemporary computer science. The talk will describe the syntax and informal semantics of linear logic by showing how to control our expenses and read a restaurant menu using linear connectives.

Tarmo Uustalu
Last update 23.2.2006