1.  42
    The Finite Model Property for Various Fragments of Linear Logic.Yves Lafont - 1997 - Journal of Symbolic Logic 62 (4):1202-1208.
    Direct download (8 more)  
    Export citation  
    Bookmark   8 citations  
  2.  35
    Advances in Linear Logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - Cambridge University Press.
    Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at (...)
    Direct download  
    Export citation  
    Bookmark   2 citations  
  3. The Undecidability of Second Order Linear Logic Without Exponentials.Yves Lafont - 1996 - Journal of Symbolic Logic 61 (2):541-548.
    Recently, Lincoln, Scedrov and Shankar showed that the multiplicative fragment of second order intuitionistic linear logic is undecidable, using an encoding of second order intuitionistic logic. Their argument applies to the multiplicative-additive fragment, but it does not work in the classical case, because second order classical logic is decidable. Here we show that the multiplicative-additive fragment of second order classical linear logic is also undecidable, using an encoding of two-counter machines originally due to Kanovich. The faithfulness of this encoding is (...)
    Direct download (10 more)  
    Export citation