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

Electronic Notes in Theoretical Computer Science

Volumn 35, Issue , 2000, Pages 94-108

  Larchey Wendling, D ^a   Galmiche, D ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OPTIMIZATION; PETRI NETS;

FUNCTIONAL PROGRAMMING; INTUITIONISTIC LINEAR LOGIC (ILL); MONOIDS; QUANTALES;

SEMANTICS;

EID: 0345425447     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80733-9     Document Type: Conference Paper

References (20)

1. Abramsky S. Computational interpretations of linear logic. Theoretical Computer Science. 111:(1-2):1993;3-58
2. Alexiev V. Applications of Linear Logic to Computation: An Overview. Logic Journal of the IGPL. 2:(1):1994;77-107
3. Andreoli J.M. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation. 2:(3):1992;297-347
4. Benton N., Bierman G., de Paiva V., Hyland M. A term calculus for intuitionistic linear logic. Int. Conference on Typed Lambda Calculi and Applications, LNCS 664. March 1993;75-90. Utrecht, The Netherlands
5. Davey B.A., Priestley H.A. Introduction to Lattices and Order., Cambridge Mathematical Textbooks. 1990;Cambridge University Press
6. Engberg U., Winskel G. Completeness results for linear logic on petri nets. Annals of Pure and Applied Logic. 86:1997;101-135
7. D. Galmiche and D. Larchey-Wendling. Provability in intuitionistic linear logic from a new interpretation on petri nets - extended abstract. Electronic Notes in Theoretical Computer Science, 17, 1998.
8. Girard J.Y., logic Linear. Theoretical Computer Science. 50:(1):1987;1-102
9. Girard J.Y. Linear logic: its syntax and semantics. Girard J.Y., Lafont Y., Regnier L. Advances in Linear Logic. 1995;1-42 Cambridge University Press
10. Hodas J., Miller D. Logic programming in a fragment of intuitionistic linear logic. Journal of Information and Computation. 110:1994;327-365
11. Kobayashi N., Yonezawa A. ACL - a concurrent linear logic programming paradigm. Int. Symposium on Logic Programming. October 1993;279-294. Vancouver
12. Mac Lane S. Categories for the Working Mathematicians. Graduate Texts in Mathematics. 1971;Springer-Verlag
13. D. Larchey-Wendling and D. Galmiche. From ordered monoids to quantales and petri nets: Revised semantics and completeness results in intuitionistic linear logic. Submitted for publication, Oct. 1998.
14. Lincoln P., Mitchell J. Operational aspects of linear lambda calculus. 7th IEEE Symposium on Logic in Computer Science. 1992;235-246. Santa-Cruz, California
15. Meseguer J., Marti-Oliet N. Prom Petri nets to Linear Logic. Math. Struct, in Comp. Science. 1:1991;69-101
16. Negri S. Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic. Math. Struct, in Comp. Science. 5:1995;41-68
17. Ono H. Substructural Logics, volume 2 of Studies in Logic and Computation, chapter Semantics for Substructural Logics. 1993;Oxford Science Publications
18. Sambin G. Substructural Logics, volume 2 of Studies in Logic and Computation, chapter Semantics of Pretopologies. 1993;Oxford Science Publications
19. A. Ursini. Semantical Investigations of Linear Logic. Manuscript available at http://www.csl.sri.com/linear/ursini-paper.dvi.gz.
20. Yetter D.N. Quantales and (noncommutative) Linear Logic. Journal of Symbolic Logic. 55:1990;41-64