On phase semantics and denotational semantics: The exponentials

DOI10.1016/S0168-0072(00)00056-7zbMath1004.03051OpenAlexW1965630431MaRDI QIDQ5939845

Antonio Bucciarelli, Thomas Ehrhard

Publication date: 3 February 2003

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

Full work available at URL: https://doi.org/10.1016/s0168-0072(00)00056-7

zbMATH Keywords

sequent calculuscoherence spacesdenotational semanticsindexd linear logicphase semanticspropositional linear logic

Mathematics Subject Classification ID

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

Related Items

A General Class of Models of $\mathcal{H}^*$, A completeness theorem for symmetric product phase spaces, Execution time of λ-terms via denotational semantics and intersection types, Non-Deterministic Functions as Non-Deterministic Processes (Extended Version), Visible acyclic differential nets. I: Semantics, The Scott model of linear logic is the extensional collapse of its relational model, Coherent differentiation, Relational Models for the Lambek Calculus with Intersection and Constants, Node Replication: Theory And Practice, Non-idempotent intersection types in logical form, Tight typings and split bounds, fully developed, Unnamed Item, Unnamed Item, An Indexed System for Multiplicative Additive Polarized Linear Logic, Generalized bounded linear logic and its categorical semantics, The spirit of node replication, Uniformity and the Taylor expansion of ordinary lambda-terms, Unnamed Item, The bang calculus revisited, Unnamed Item, The bang calculus revisited, Non-uniform (hyper/multi)coherence spaces, Unnamed Item, Non-Uniform Hypercoherences, A MALL geometry of interaction based on indexed linear logic, Relational model of second order linear logic

Cites Work

• Linear logic
• Kripke logical relations and PCF
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• The finite model property for various fragments of linear logic
• A completeness theorem for symmetric product phase spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item