Downloads & Free Reading Options - Results

Introduction To Linear Logic And Ludics%2c Part I by Pierre Louis Curien

Read "Introduction To Linear Logic And Ludics%2c Part I" by Pierre Louis Curien through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Introduction To Linear Logic And Ludics, Part I

By

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.

“Introduction To Linear Logic And Ludics, Part I” Metadata:

  • Title: ➤  Introduction To Linear Logic And Ludics, Part I
  • Author:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 14.66 Mbs, the file-s for this book were downloaded 90 times, the file-s went public at Sun Sep 22 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Introduction To Linear Logic And Ludics, Part I at online marketplaces:


Top of Page

Buy “Introduction To Linear Logic And Ludics%2c Part I” online:

Shop for “Introduction To Linear Logic And Ludics%2c Part I” on popular online marketplaces.