Directory of Linear Logic Resources

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Substructural Logics > Linear Logic

Subcategories

• People
• Proofs as Processes

Resources in This Category

• A New Deconstructive Logic: Linear Logic (1997)

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.2704
  Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embedding of a large class of logics in a manner that respects their underlying proof semantics (cf. Nuel Belnap's Display Logic).

• Bibliography on Linear Logic

  http://www.cs.cmu.edu/~carsten/linearbib/llb.html
  A list of over 400 papers on linear logic. Many of the papers are downloadable.

• Game Semantics or Linear Logic?

  http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
  A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation.

• Linear Logic Papers by Andreas Blass

  http://www.math.lsa.umich.edu/~ablass/ll.html
  Collection of downloadable papers on linear logic and game semantics by A. Blass.

• Linear Logic Semantics

  http://www.cis.upenn.edu/~bcpierce/types/archives/1992/msg00047.html
  A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise.

• Phil Wadler's Linear Logic Publications

  http://cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html
  Includes his tutorial paper "A taste of linear logic".

• Seminar on Linear Logic and Applications

  http://www.cs.cmu.edu/~fp/courses/95-linear.html
  Organised by Frank Pfenning at Carnegie-Mellon.

• The Linear Logic Pages

  http://iml.univ-mrs.fr/~lafont/linear/
  An overview of the current knowledge in Linear Logic.

 

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Substructural Logics > Linear Logic

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us