On phase semantics and denotational semantics in multiplicative-additive linear logic

DOI10.1016/S0168-0072(99)00040-8zbMath0949.03057WikidataQ126438104 ScholiaQ126438104MaRDI QIDQ1971797

Antonio Bucciarelli, Thomas Ehrhard

Publication date: 6 December 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

sequent calculusdenotational semanticsphase semanticslogical relationmultiplicative-additive linear logictruth-value semanticscoherence space semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (11)

A completeness theorem for symmetric product phase spaces ⋮ Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ Non-idempotent intersection types in logical form ⋮ Unnamed Item ⋮ An Indexed System for Multiplicative Additive Polarized Linear Logic ⋮ Generalized bounded linear logic and its categorical semantics ⋮ Canonical extensions and relational completeness of some substructural logics ⋮ On phase semantics and denotational semantics: The exponentials ⋮ A phase semantics for polarized linear logic and second order conservativity ⋮ Non-Uniform Hypercoherences ⋮ A MALL geometry of interaction based on indexed linear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Domain theory in logical form
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• On denotational completeness
• Kripke logical relations and PCF
• Localisation and interaction in one dimension

This page was built for publication: On phase semantics and denotational semantics in multiplicative-additive linear logic