Andrea Schalk Valeria Poset-valued sets How to build models for Linear Logics Andrea Schalk Valeria...  Home/Search
Context Related
Links: ACM | cs.man.ac.uk/~schalk/pvsets.ps.gz 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: cs.man.ac.uk/~schalk/work (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a method for constructing models of linear logic based on the category of sets and relations. The resulting categories are generally not degenerate, in particular the are not compact closed nor do they have biproducts. The construction is simple, relying on the structure of a poset to avoid degeneracy. A number of wellknown models, for example coherence spaces and hypercoherences, are instances of this method. Key words: Linear Logic; categorical models 1 (Update)
Context of citations to this paper: More
...coherence spaces and linear maps is a model of linear logic. Some very recent work (2001) of Schalk and de Paiva s on poset valued sets [248] generalises coherence spaces in an interesting direction. They show that coherence spaces and hypercoherences can be seen as maps from...
Cited by: More
Relevant and Substructural Logics - Restall (2001) (Correct)
Similar documents (at the sentence level):
19.6%: Poset-valued sets or How to build models for Linear Logics - de Paiva, Schalk (Correct)
6.1%: Building Models of Linear Logic (Extended Abstract) - de Paiva, Schalk (Correct)
Active bibliography (related documents): More All
0.3: Games on Graphs and Sequentially Realizable Functionals - Exte Nd Ed (Correct)
0.2: Bistructures, Bidomains and Linear Logic - Curien, Plotkin, Winskel (1997) (Correct)
0.2: Glueing and Orthogonality for Models of Linear Logic - Hyland (2001) (Correct)
Similar documents based on text: More All
0.2: Categorical Models of Explicit Substitutions - Ghani, de Paiva, Ritter (1998) (Correct)
0.2: Relating Categorical and Kripke Semantics for.. - Alechina, de Paiva.. (1998) (Correct)
0.2: Cut-Elimination for Full Intuitionistic Linear Logic - Braüner, de Paiva (1996) (Correct)
Related documents from co-citation: More All
2: Combinatory Logic (context) - Curry, Feys - 1958
2: Cut-Elimination Theorem in Relevant Logics (context) - Minc, in et al. - 1972
2: A Decision Procedure for the System E I of Entailment With Negation (context) - JR, WALLACE - 1961
BibTeX entry: (Update)
ANDREA SCHALK AND VALERIA DE PAIVA. "Poset-valued sets or How to build models for Linear Logics". ???, 2001. http://citeseer.ist.psu.edu/schalk01posetvalued.html More
@misc{ schalk01posetvalued,
author = "A. SCHALK and V. DE PAIVA",
title = "Poset-valued sets or How to build models for Linear Logics",
text = "ANDREA SCHALK AND VALERIA DE PAIVA. Poset-valued sets or How to build models
for Linear Logics. ???, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/schalk01posetvalued.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard - 1987 ACM
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994 ACM DBLP
88 Linear logic: its syntax and semantics - Girard - 1995
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
47 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
30 Hypercoherences: a strongly stable model of linear logic - Ehrhard - 1993 DBLP
11 Full completeness for models of linear logic (context) - Tan - 1997
7 Abstract games for linear logic (context) - Hyland, Schalk - 1999
6 Glueing and orthogonality for models of linear logic - Hyland, Schalk ACM DBLP
4 Generalizing coherence spaces and hypercoherences (context) - cois - 1995
3 The carcinogenic example (context) - Mitchell - 1997 DBLP
1 Lineales: algebras and categories in the semantics of linear.. (context) - de Paiva - 1999
Documents on the same site (http://www.cs.man.ac.uk/~schalk/work.html):
Glueing and Orthogonality for Models of Linear Logic - Hyland (2001) (Correct)
Games on Graphs and Sequentially Realizable Functionals - Exte Nd Ed (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