Linear Logic Substructural Logics Nonstandard Logics and Extensions Logic and Foundations

A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise.

• Seminar on Linear Logic and Applications - Organised by Frank Pfenning at Carnegie-Mellon.
• Linear Logic Primer - Introductory course by Vincent Danos and Roberto Di linear logic Cosmo.
• Game Semantics or Linear Logic? - 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 - Collection of downloadable papers on linear logic and substructural logics game semantics by A. Blass.
• Phil Wadler's Linear Logic Publications - Includes his tutorial paper "A taste of linear logic".
• Linear Logic Semantics - A long reply by Vaughan Pratt to a question on linear logic the linear logic mailing list by the late Jon Barwise.
• The Linear Logic Pages - An overview of the current knowledge in Linear Logic.
• Introduction to Linear Logic - Abstract and downloadable full text. By Torben Braüner.
• Flow Analysis in the Geometry of Interaction - Article by Thomas Jensen, who draws a connection nonstandard logics and linear logic extensions between program analysis and linear logic.
• Applications of Linear Logic to Computation (1993) - Survey article by Vladimir Alexiev providing an overview substructural logics of existing applications of Linear Logic to issues substructural logics of computation. Discusses implications of the theory in substructural logics several fields of theoretical computer science, such as substructural logics functional programming, and the cor
• Bibliography on Linear Logic - A list of over 400 papers on linear substructural logics logic. substructural logics Many of the papers are downloadable.
• Articles by Jean-Yves Girard - About two dozen downloadable papers on linear logic substructural logics by linear logic J.Y. Girard.
• Linear Logic as a Good Logical Foundation for Computer Science - A brief analysis of the computational aspects of linear logic linear substructural logics logic by Max Kanovich.
• A New Deconstructive Logic: Linear Logic (1997) - Article by V. Danos, J.-B. Joinet and H. substructural logics Schellinx linear logic outlining how linear logic can function as substructural logics a `mark-up linear logic logic\\' allowing the embedding of a substructural logics large class of linear logic logics in a manner that substructural logics respects their underlying proof linear logic semantics (cf. Nuel Belnap\'s substructural logics Display Logic).

   MySQL - Cache Direct