• Title of article

    A note on full intuitionistic linear logic Original Research Article

  • Author/Authors

    G.M. Bierman، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1996
  • Pages
    7
  • From page
    281
  • To page
    287
  • Abstract
    This short note considers the formulation of Full Intuitionistic Linear Logic (FILL) given by Hyland and de Paiva (1993). Unfortunately the formulation is not closed under the process of cut elimination. This note proposes an alternative formulation based on the notion of patterns.
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    1996
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    890070

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=890070