Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic

Didier Galmiche 1 Dominique Larchey-Wendling 1
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The aim of this paper is to propose a unified analysis of the relationships between the notions of order and closure and to relate it to different semantics of Intuitionistic Linear Logic (ILL). We study the embedding of ordered monoids into quantales and then we propose general constructions and results about such an embedding. Therefore we obtain a new semantics based on ordered monoids and also new completeness results for ILL.
Type de document :
Article dans une revue
Electronic Notes in Theoretical Computer Science, Elsevier, 2000, 35, 15 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099226
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:00
Dernière modification le : mardi 24 avril 2018 - 13:34:34

Identifiants

  • HAL Id : inria-00099226, version 1

Collections

Citation

Didier Galmiche, Dominique Larchey-Wendling. Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic. Electronic Notes in Theoretical Computer Science, Elsevier, 2000, 35, 15 p. 〈inria-00099226〉

Partager

Métriques

Consultations de la notice

163