Norges billigste bøker
Om Lectures on Linear Logic

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780937073773
  • Bindende:
  • Paperback
  • Sider:
  • 215
  • Utgitt:
  • 30. mai 1992
  • Utgave:
  • 2
  • Dimensjoner:
  • 152x228x20 mm.
  • Vekt:
  • 53 g.
Leveringstid: 2-4 uker
Forventet levering: 7. april 2025

Beskrivelse av Lectures on Linear Logic

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

Brukervurderinger av Lectures on Linear Logic



Finn lignende bøker
Boken Lectures on Linear Logic finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.