Models of linear logic
type: Item
instance of: scholarly article
title: Models of linear logic
zbMATH Open document ID: 0934.03028
DOI: 10.1007/BF02358992
author: Yanyan Li
published in: Journal of Mathematical Sciences (New York)
publication date: 1999-11-22T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 1364693
zbMATH Keywords: models for subsystems of linear logic
zbMATH Keywords: nonmodal linear logic
zbMATH Keywords: positive linear logic
zbMATH Keywords: generic model
zbMATH Keywords: minimal linear logic
zbMATH Keywords: multiset theory
MaRDI profile type: Publication
cites work: Q3994895
full work available at URL: https://doi.org/10.1007/bf02358992
OpenAlex ID: W2087160096
Recommended article: Axioms and models of linear logic
Recommended article: Kripke models for linear logic
Recommended article: Q2757849
Recommended article: Q3975037
Recommended article: Linear logic
Recommended article: Q4362881
Recommended article: A modal view of linear logic
Recommended article: Linear reasoning in modal logic
Recommended article: Q4250365
Recommended article: Q4501150
description: scientific article; zbMATH DE number 1364693