Natural deduction for intuitionistic linear logic
type: Item
instance of: scholarly article
title: Natural deduction for intuitionistic linear logic
zbMATH Open document ID: 0817.03002
DOI: 10.1016/0168-0072(93)E0078-3
author: A. S. Troelstra
published in: Annals of Pure and Applied Logic
publication date: 1995-07-27T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 759341
zbMATH Keywords: storage operator
zbMATH Keywords: intuitionistic linear logic
zbMATH Keywords: natural deduction
zbMATH Keywords: strong validity
zbMATH Keywords: strong normalization
zbMATH Keywords: categorical models
MaRDI profile type: Publication
cites work: Computational interpretations of linear logic
cites work: Strong normalisation for the linear term calculus
cites work: Q4283230
cites work: Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers
cites work: Existential instantiation and normalization in sequent natural deduction
cites work: Linear logic
cites work: Q5559220
cites work: Q5632554
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q4495851
cites work: Constructivism in mathematics. An introduction. Volume II
Recommended article: Q4263877
Recommended article: Natural deduction for dual-intuitionistic logic
Recommended article: A normalizing system of natural deduction for intuitionistic linear logic
Recommended article: Natural deduction and sequent calculus for intuitionistic relevant logic
Recommended article: Natural deduction for bi-intuitionistic logic
Recommended article: Natural Deduction and Weak Normalization for Full Linear Logic
Recommended article: Q4261096
Recommended article: Natural deduction for non-classical logics
Recommended article: Natural deduction systems for intuitionistic logic with identity
Recommended article: Q3680812
description: scientific article; zbMATH DE number 759341