Introduction to linear logic and ludics, part I

Details Introduction to linear logic and ludics, part I Introduction to linear logic and ludics, part I

2005-01-18

arxiv.org/abs/cs/0501035v1

Advances in Mathematics (China) 34, 5 (2005) 513-544

Computer Science

Logic in Computer Science

Scientific paper

This two-parts paper offers a survey of linear logic and ludics, which were introduced by Girard in 1986 and 2001, respectively. Both theories revisit mathematical logic from first principles, with inspiration from and applications to computer science. The present part I covers an introduction to the connectives and proof rules of linear logic, to its decidability properties, and to its models. Part II will deal with proof nets, a graph-like representation of proofs which is one of the major innovations of linear logic, and will present an introduction to ludics.

Affiliated with

Also associated with

No associations

Rating

Introduction to linear logic and ludics, part I does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Introduction to linear logic and ludics, part I, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Introduction to linear logic and ludics, part I will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-705151