Girard: linear logic

What changed

Introduced linear logic with resource-sensitive connectives, modalities and proof rules.

Scientific scope

The record is Girard's sole-author 1987 Theoretical Computer Science paper. It does not absorb later proof nets, geometry of interaction, light linear logic, categorical semantics or every programming-language application.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Girard's sole-author 1987 Theoretical Computer Science paper. It does not absorb later proof nets, geometry of interaction, light linear logic, categorical semantics or every programming-language application.

Contributors

• Jean-Yves Girard · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• ScienceDirect page for Linear logic
• Jean-Yves Girard author archive entry for Linear Logic

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction