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

DOI10.1016/S0168-0072(99)00040-8zbMath0949.03057MaRDI 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 calculus; denotational semantics; phase semantics; logical relation; multiplicative-additive linear logic; truth-value semantics; coherence space semantics

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

03F05: Cut-elimination and normal-form theorems

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

Related Items

A phase semantics for polarized linear logic and second order conservativity, A completeness theorem for symmetric product phase spaces, Canonical extensions and relational completeness of some substructural logics, On phase semantics and denotational semantics: The exponentials, An Indexed System for Multiplicative Additive Polarized Linear Logic

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item