Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Electronic Notes in Theoretical Computer Science Année : 2000

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

Didier Galmiche

Résumé

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.
Fichier non déposé

Dates et versions

inria-00099226 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099226 , version 1

Citer

Didier Galmiche, Dominique Larchey-Wendling. Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic. Electronic Notes in Theoretical Computer Science, 2000, 35, 15 p. ⟨inria-00099226⟩
88 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More