D. Larchey-Wendling, D. Galmiche  Home/Search
Context
Related
| loria.fr/~galmiche/=paper...Domsem.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: loria.fr/~galmiche/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Active bibliography (related documents): More All
0.5: Proof-search in Type-theoretic Languages: An Introduction - Galmiche, al. (2000) (Correct)
0.5: Relational semantics for Basic Logic - Macedonio, Sambin (Correct)
0.4: Provability in Intuitionistic Linear Logic from a New.. - Larchey-Wendling.. (1998) (Correct)
Similar documents based on text: More All
0.5: Equality In Linear Logic - Coniglio, Miraglia (1996) (Correct)
0.3: Based-on dependency Calculi for Non-commutative Logic - Galmiche, Notin (Correct)
0.2: A Modal Linear Logic for Distribution and Mobility (Extended.. - Biri, Galmiche (Correct)
BibTeX entry: (Update)
@misc{ larchey-wendling-quantales,
author = "D. Larchey-Wendling and D. Galmiche",
title = "Quantales as completions of ordered monoids: Revised semantics for Intuitionistic
Linear Logic",
url = "citeseer.ist.psu.edu/313077.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
562 Categories for the Working Mathematicians (context) - Lane - 1971
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994 ACM DBLP
233 Computational interpretations of linear logic - Abramsky - 1993
142 Logic programming with focusing proofs in linear logic - Andreoli - 1992
88 Linear logic: its syntax and semantics - Girard - 1995
60 A term calculus for intuitionistic linear logic - Benton, Bierman et al. - 1993 ACM DBLP
51 Operational aspects of linear lambda calculus - Lincoln, Mitchell - 1992 DBLP
49 ACL - a concurrent linear logic programming paradigm - Kobayashi, Yonezawa - 1993 DBLP
49 Cambridge Mathematical Textbooks (context) - Davey, Priestley et al. - 1990
37 Journal of Symbolic Logic (context) - Yetter, noncommutative et al. - 1990
36 Applications of Linear Logic to Computation: An Overview - Alexiev - 1994
33 From Petri nets to Linear Logic (context) - Meseguer, Marti-Oliet - 1991 ACM DBLP
26 Completeness results for linear logic on petri nets - Engberg, Winskel - 1997 ACM DBLP
6 Provability in intuitionistic linear logic from a new interp.. - Galmiche, Larchey-Wendling - 1998
4 chapter Semantics for Substructural Logics (context) - Ono, volume et al. - 1993
3 Semantical observations on the embedding of Intuitionistic L.. (context) - Negri - 1995 DBLP
2 Semantical Investigations of Linear Logic (context) - Ursini
1 chapter Semantics of Pretopologies (context) - Sambin, volume et al. - 1993
1 From ordered monoids to quantales and petri nets: Revised se.. (context) - Larchey-Wendling, Galmiche - 1998
Documents on the same site (http://www.loria.fr/~galmiche/papers.html): More
SKIL: A System for Programming with Proofs - Galmiche, Hermann (1993) (Correct)
On Proof Normalization in Linear Logic - Galmiche, Perrier (1994) (Correct)
Program Development in Constructive Type Theory - Galmiche (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC