Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Electronic Notes in Theoretical Computer Science Year : 2000

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

Didier Galmiche

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00099226 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More