A completeness theorem for symmetric product phase spaces

DOI10.2178/jsl/1082418530zbMath1069.03054OpenAlexW1979035026MaRDI QIDQ5311727

Thomas Ehrhard

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1082418530

zbMATH Keywords

denotational semanticsextension of indexed linear logicsymmetric product phase spaces

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

An Indexed System for Multiplicative Additive Polarized Linear Logic ⋮ On phase semantics and denotational semantics: The exponentials ⋮ Non-uniform (hyper/multi)coherence spaces

Cites Work

• Linear logic
• Theoretical computer science. Petri nets.
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• On denotational completeness
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• On phase semantics and denotational semantics: The exponentials

This page was built for publication: A completeness theorem for symmetric product phase spaces