[LF] ================================================ AMAST Links 02 04

    The Undecidability of Second Order Multiplicative Linear Logic 
                      Yves Lafont and Andre Scedrov 

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i04/full/AC0204LF.txt

  In referring to linear logic fragments, let M stand for 
multiplicatives, A for additives, 2 for second order quantifiers, 
and I for "intuitionistic" version of linear logic fragments.  

  Lincoln, Scedrov, and Shankar showed the undecidability IMLL2 and 
IMALL2 (to appear in LICS '95). Lafont has subsequently proved the 
undecidability of MALL2 (to appear in the Journal of Symbolic Logic). 
It is the case that MLL2 is undecidable. 

  The paper is now available by anonymous ftp from URL:

   ftp://lmd.univ-mrs.fr/pub/lafont/mll2.ps.Z

  The paper is 8 pages long.