Phase semantics for light linear logic
type: Item
instance of: scholarly article
title: Phase semantics for light linear logic
zbMATH Open document ID: 1029.03052
DOI: 10.1016/S0304-3975(01)00177-3
author: Max Kanovich
author: Mitsuhiro Okada
author: Andre Scedrov
published in: Theoretical Computer Science
publication date: 2003-07-29T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1956202
zbMATH Keywords: fibred phase spaces
zbMATH Keywords: cut elimination
zbMATH Keywords: light linear logic
MaRDI profile type: Publication
cites work: Q4282602
cites work: Q5625124
cites work: Linear logic
cites work: Light linear logic
cites work: Bounded linear logic: A modular approach to polynomial-time computability
cites work: Q4222893
cites work: The undecidability of second order linear logic without exponentials
cites work: The undecidability of second order multiplicative linear logic
cites work: Q4842974
cites work: Q4222841
cites work: Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
cites work: A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
cites work: The finite model property for various fragments of intuitionistic linear logic
full work available at URL: s0304-3975(01)00177-3
OpenAlex ID: W2058763998
description: scientific article; zbMATH DE number 1956202