Linear logic


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Jean-Yves Girard

Theoretical Computer Science 50(1), pages 1-102
1987

The familiar connective of negation is broken into two operations: linear negation, which is the purely negative part of negation, and the modality “of course”, which as the meaning of a reaffirmation.
Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.

Tags:

Publication

— authors

Jean-Yves Girard

— status

published

— sort

article in journal

— publication date

1987

— journal

Theoretical Computer Science

— volume

50

— issue

1

— pages

1-102

— number of pages

50

identifiers

— print ISSN

0304-3975

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY