Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Tenth Annual IEEE Symposium on

Logic in Computer Science (LICS 1995)

Paper: Decidability of Linear Affine Logic (at LICS 1995)

Winner of the Kleene Award in 1995
Authors: Alexei P. Kopylov

Abstract

The propositional Linear Logic is known to be undecidable. In the current paper we prove that the full propositional Linear Affine Logic containing all the multiplicatives, additives, exponentials, and constants is decidable. The proof is based on a reduction of Linear Affine Logic to sequents of specific ``normal forms'', and on a generalization of Kanovich computational interpretation of Linear Logic adapted to these ``normal forms''.

BibTeX

  @InProceedings{Kopylov-DecidabilityofLinea,
    author = 	 {Alexei P. Kopylov},
    title = 	 {Decidability of Linear Affine Logic},
    booktitle =  {Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS 1995)},
    year =	 {1995},
    month =	 {June}, 
    pages =      {496--504},
    location =   {San Diego, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2017-04-0512:37
Andrzej Murawski