Linear logic

Resource type
Author/contributor
Title
Linear logic
Abstract
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 has the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.
Publication
Theoretical Computer Science
Volume
50
Issue
1
Pages
1-101
Date
January 1, 1987
Journal Abbr
Theoretical Computer Science
Language
en
DOI
10/cmv5mj
ISSN
0304-3975
Accessed
2019-11-26T21:07:06Z
Library Catalog
ScienceDirect
Extra
ZSCC: 0005505
Citation
Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50(1), 1–101. https://doi.org/10/cmv5mj
CATEGORICAL LOGIC
Processing time: 0.01 seconds

Graph of references

(from Zotero to Gephi via Zotnet with this script)
Graph of references