Full intuitionistic linear logic
type: Item
instance of: scholarly article
title: Full intuitionistic linear logic
zbMATH Open document ID: 0873.03006
DOI: 10.1016/0168-0072(93)90146-5
published in: Annals of Pure and Applied Logic
publication date: 1994-03-27T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 503603
zbMATH Keywords: Full Intuitionistic Linear Logic
zbMATH Keywords: multiplicative disjunction
zbMATH Keywords: categorical models
zbMATH Keywords: cut elimination
zbMATH Keywords: term assignment system
zbMATH Keywords: interpretation of proofs
Wikidata QID: Q56994605
author: Martin Hyland
author: Valeria de Paiva
MaRDI profile type: Publication
full work available at URL: 0168-0072(93)90146-5
OpenAlex ID: W2112970627
cites work: *-autonomous categories. With an appendix by Po-Hsiang Chu
cites work: A game semantics for linear logic
cites work: Q3138536
cites work: Q3829551
cites work: A dialectica-like model of linear logic
cites work: Q5586461
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q3791120
cites work: Q4035310
cites work: Q3997237
cites work: Q4735315
cites work: Q4255509
cites work: Normalization as a homomorphic image of cut-elimination
cites work: Q5559220
cites work: Some Syntactical Observations on Linear Logic
cites work: Q3827993
cites work: Polycategories
cites work: Proof theory
cites work: The correspondence between cut-elimination and normalization
description: scientific article; zbMATH DE number 503603