Linear Logic


 People
Google
  Web linear-logic.substructural-logics.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work
Linear Logic Sites
Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic
Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic sites
Linear-Logic.Substructural-Logics.Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic
Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic sites
Linear-Logic.Substructural-Logics.Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.science-sites.work
A New Deconstructive Logic: Linear Logic (1997)
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
citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.2704
Articles by Jean-Yves Girard
About two dozen downloadable papers on linear logic by J. Y. Girard.
iml.univ-mrs.fr/~girard/Articles.html
Bibliography on Linear Logic
A list of over 400 papers on linear logic. Many of the papers are downloadable.
www.cs.cmu.edu/~carsten/linearbib/llb.html
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.
www.csc.villanova.edu/~japaridz/CL/gsoll.html
Linear Logic as a Good Logical Foundation for Computer Science
A brief analysis of the computational aspects of linear logic by Max Kanovich.
www.univ-paris12.fr/lacl/lundi/kanovitch.html
Linear Logic Papers by Andreas Blass
Collection of downloadable papers on linear logic and game semantics by A. Blass.
www.math.lsa.umich.edu/~ablass/ll.html
Linear Logic Primer
Introductory course by Vincent Danos and Roberto Di Cosmo.
www.pps.jussieu.fr/~dicosmo/CourseNotes/LinLog/
Linear Logic Semantics
A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise.
www.cis.upenn.edu/~bcpierce/types/archives/1992/msg00047.html
Phil Wadler's Linear Logic Publications
Includes his tutorial paper "A taste of linear logic".
cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html
Seminar on Linear Logic and Applications
Organised by Frank Pfenning at Carnegie-Mellon.
www.cs.cmu.edu/~fp/courses/95-linear.html
The Linear Logic Pages
An overview of the current knowledge in Linear Logic.
iml.univ-mrs.fr/~lafont/linear/

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by linear-logic.substructural-logics.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 linear-logic.substructural-logics.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work