Linear Logic in Computer Science

This book provides an in-depth exploration of linear logic's role in proof theory, particularly within computer science, making it a vital resource for researchers.

This book serves as a comprehensive guide to the application of linear logic within the realm of proof theory as it relates to computer science. Linear Logic in Computer Science offers tutorials that introduce the foundational concepts of linear logic, while also presenting advanced contributions that delve into the latest trends and research topics in the field. The text provides readers with a robust understanding of how linear logic can be utilized to enhance computational proofs, making it an invaluable resource for both newcomers and seasoned researchers alike.

At the core of Linear Logic in Computer Science is the exploration of linear logic as a vital branch of proof theory. This area equips researchers with sophisticated tools for analyzing the computational dimensions of proofs. Key elements discussed include duality-based categorical semantics, intrinsic graphical representations of proofs, and the introduction of non-commutative logical connectives. Additionally, concepts such as polarity and focalisation are examined, illustrating their relevance to various applications in computer science, including denotational semantics, lambda-calculus, logic programming, and concurrency theory.

The volume culminates with two invited contributions that address emerging topics inspired by recent advancements in linear logic. Originating from a summer school associated with the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science', this book is an excellent introduction to some of the most dynamic research areas in this discipline.