Peter W. O'Hearn, David J. Pym, Hongseok Yang  Home/Search
Context Related
| dcs.qmw.ac.uk/~pym/Papers...resource.ps 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: dcs.qmw.ac.uk/~pym/Paper...recent (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a previous paper, O'Hearn and Pym introduced a new substructural logic, the logic BI of bunched implications. Herein, motivated by modelling resources, we investigate the possible worlds semantics of propositional BI. The basic idea is to regard a world as a resource, or a collection of resources, and so give a semantics to BI's additive and multiplicative connectives. The semantics can be formulated at three levels. At the level of preordered monoids, we obtain (soundness and)... (Update)
Context of citations to this paper: More
.... interpretation of the connectives, where decomposes the current resource into pieces and talks about new or fresh resource [25, 26]. Substructural logics may appear rather exotic beasts. But the pointer models we present provide a very concrete and, we believe, intuitive...
Cited by: More
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (Correct)
Similar documents (at the sentence level):
65.8%: Possible Worlds and Resources: The Semantics of BI - O'Hearn, Pym, Yang (2000) (Correct)
Active bibliography (related documents): More All
0.7: On Bunched Typing - O'Hearn (2000) (Correct)
0.5: The Logic of Bunched Implications - O'Hearn, Pym (1999) (Correct)
0.5: Proof Systems { A Vade-mecum - Esslli Birmingham Krysia (2000) (Correct)
Similar documents based on text: More All
0.2: Logic Programming with Bunched Implications (Extended Abstract) - Pym (Correct)
0.2: The Logic of Linear Functors - Blute, Cockett (2002) (Correct)
0.2: On Bunched Predicate Logic - Pym (1999) (Correct)
Related documents from co-citation: More All
3: Alias types for recursive data structures - Walker, Morrissett - 2000
3: Proof-carrying code - Necula - 1997
3: Towards a geometry of interaction (context) - Girard - 1989
BibTeX entry: (Update)
O'Hearn, P., Pym, D., and Yang, H. Possible worlds and resources: The semantics of BI. Submitted, October 2000. http://citeseer.ist.psu.edu/ohearn00possible.html More
@misc{ o'hearn00possible,
author = "P. O'Hearn and D. Pym and H. Yang",
title = "Possible worlds and resources: The semantics of BI",
text = "O'Hearn, P., Pym, D., and Yang, H. Possible worlds and resources: The semantics
of BI. Submitted, October 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/ohearn00possible.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
982 Theoretical Computer Science (context) - Girard - 1987 ACM
562 Categories for the Working Mathematician (context) - Lane - 1971
248 The mathematics of sentence structure (context) - Lambek - 1958
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
184 Linear types can change the world - Wadler - 1990
131 The essence of Algol (context) - Reynolds - 1981 ACM
110 BI as an assertion language for mutable data structures - Ishtiaq, O'Hearn - 2001 ACM DBLP
88 Intuitionistic reasoning about shared mutable data structure - Reynolds - 2000
83 Sheaves in Geometry and Logic (context) - Lane, Moerdijk - 1992
64 The structure of the THE-multiprogramming system (context) - Dijkstra - 1968
62 modal logics for mobile ambients (context) - Cardelli, Gordon et al. - 2000
51 A relevant analysis of natural deduction - Ishtiaq, Pym - 1998 DBLP
48 Semantical analysis of intuitionistic logic (context) - Kripke - 1965
45 The semantics and proof theory of the logic of bunched impli.. (context) - Pym
45 Algol-like Languages (context) - O'Hearn, Tennent - 1997
33 The logic of bunched implications - O'Hearn, Pym
30 A historical introduction to substructural logics (context) - Dosen - 1993
30 Sheaves and logic (context) - Fourman, Scott - 1979
29 Syntactic control of interference revisited - O'Hearn, Power et al. - 1999 ACM DBLP
29 On closed categories of functors (context) - Day - 1970
28 Semantics for relevant logics (context) - Urquhart - 1972 DBLP
26 Completeness results for linear logic on Petri nets - Engberg, Winskel - 1993 ACM DBLP
26 From Algol to polymorphic linear lambda-calculus - O'Hearn, Reynolds - 2000 ACM DBLP
25 Relevant logic and entailment (context) - Dunn - 1986
23 On bunched predicate logic - Pym - 1999 ACM DBLP
19 Parametricity and local variables - O'Hearn, Tennent - 1995 ACM DBLP
19 First order linear logic in symmetric monoidal closed catego.. (context) - Ambler - 1992
16 A query language for semistructured data based on the ambien.. - Cardelli, Ghelli - 2000
15 Lectures on reasoning about shared mutable data structure - Reynolds - 2000
15 Relevance logic and concurrent composition (context) - Dam - 1990 DBLP
10 Kripke resource models of a dependently-typed (context) - Ishtiaq, Pym - 1999
9 volume 1 of Electronic Notes in Theoretical Computer Science (context) - Brookes, Main et al. - 1995
8 Mathematical Logic Quarterly (context) - Palmgren, semantics - 1997
7 bunched implications and the -calculus (context) - O'Hearn - 1999
6 Series in Automatic Computation (context) - Hansen, Principles et al. - 1973
5 Distributed Algorithms: Modeling and Analysis with Petri Net.. (context) - Reisig - 1998
3 Deductive systems and categories I: Syntactic calculus and r.. (context) - Lambek - 1968
2 Elementary Logic: A Procedural Perspective (context) - Gabbay - 1998
Documents on the same site (http://www.dcs.qmw.ac.uk/~pym/Paperspage/recent.html): More
Kripke Resource Models of a Dependently-Typed, Bunched.. - Ishtiaq, Pym (1999) (Correct)
Proof-search in Type-theoretic Languages: An Introduction - Galmiche, Pym (2000) (Correct)
Logic Programming with Bunched Implications (Extended Abstract) - Pym (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