On phase semantics and denotational semantics in multiplicative-additive linear logic
type: Item
instance of: scholarly article
title: On phase semantics and denotational semantics in multiplicative-additive linear logic
zbMATH Open document ID: 0949.03057
DOI: 10.1016/S0168-0072(99)00040-8
author: Antonio Bucciarelli
author: Thomas Ehrhard
published in: Annals of Pure and Applied Logic
publication date: 2000-12-06T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1423283
zbMATH Keywords: sequent calculus
zbMATH Keywords: phase semantics
zbMATH Keywords: logical relation
zbMATH Keywords: coherence space semantics
zbMATH Keywords: multiplicative-additive linear logic
zbMATH Keywords: truth-value semantics
zbMATH Keywords: denotational semantics
MaRDI profile type: Publication
cites work: Domain theory in logical form
cites work: Q4222034
cites work: Q3221961
cites work: Localisation and interaction in one dimension
cites work: Linear logic
cites work: Q4842966
cites work: On denotational completeness
cites work: Q3994895
cites work: Q3997016
cites work: Q4222770
cites work: Q4385534
cites work: Kripke logical relations and PCF
cites work: Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
cites work: Q3138547
Wikidata QID: Q126438104
Recommended article: Q4699356
Recommended article: Phase semantics and decidability of elementary affine logic
Recommended article: Phase semantics for a pure noncommutative linear propositional logic
Recommended article: Phase semantics for light linear logic
Recommended article: Q4222893
Recommended article: Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
Recommended article: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
Recommended article: A language for multiplicative-additive linear logic
Recommended article: A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
Recommended article: On phase semantics and denotational semantics: The exponentials
description: scientific article; zbMATH DE number 1423283