David J. Pym  Home/Search
Context
Related
| dcs.qmw.ac.uk/~pym/Cvpa...probunches.ps dcs.qmw.ac.uk/~pym/Pape...probunches.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/Cvpag...recent (more) From: dcs.qmw.ac.uk/~pym/Paper...recent (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) David J. Pym Department of Computer Science, Queen Mary and Westfield College, University of London Abstract We introduce the logic of bunched implications, BI, in which multiplicative (or linear) and additive (or intuitionistic) implications live side-by-side. We provide a truth conditional semantics, a proof theory and a categorical semantics of proofs. We explain how BI arises as a logic of resources and sketch a development of this computational interpretation, which is quite different... (Update)
Similar documents (at the sentence level):
36.8%: The Logic of Bunched Implications - O'Hearn, Pym (1999) (Correct)
18.0%: On Bunched Predicate Logic - Pym (1999) (Correct)
Active bibliography (related documents): More All
0.7: Proof-search in Type-theoretic Languages: An Introduction - Galmiche, Pym (2000) (Correct)
0.1: On Bunched Typing - O'Hearn (2000) (Correct)
0.1: Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (Correct)
Similar documents based on text: More All
0.7: Kripke Resource Models of a Dependently-Typed, Bunched.. - Ishtiaq, Pym (1999) (Correct)
0.6: Semantic Labelled Tableaux for Propositional BI - Galmiche, Méry (Correct)
0.4: Model-Checking and Program Analysis: Preliminaries - Jones, Lawall, Andersen (Correct)
BibTeX entry: (Update)
@misc{ pym-logic,
author = "David J. Pym",
title = "Logic Programming with Bunched Implications (Extended Abstract)",
url = "citeseer.ist.psu.edu/41367.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
359 Introduction to Higher-Order Categorical Logic (context) - Lambek, Scott - 1986
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
150 Entailment: the Logic of Relevance and Necessity (context) - Anderson, Belnap - 1975
149 A logical analysis of modules in logic programming (context) - Miller - 1989
79 A uniform proof-theoretic investigation of linear logic prog.. - Pym, Harland - 1994 DBLP
70 the meanings of the logical constants and the justifications.. (context) - Martin-Lof - 1982
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
53 Journal of Philosophical Logic (context) - Belnap - 1982
51 A relevant analysis of natural deduction - Ishtiaq, Pym - 1998
46 Programming in lygon: an overview - Harland, Pym et al. - 1996
45 The semantics and proof theory of the logic of bunched impli.. (context) - Pym - 1998
45 The semantics and proof theory of the logic of bunched impli.. (context) - Pym - 1998
33 The logic of bunched implications - O'Hearn, Pym - 1998
32 Relevant Logic: A Philosophical Examination of Inference (context) - Read - 1987
29 On closed categories of functors (context) - Day - 1970
28 Semantics for relevant logics (context) - Urquhart - 1972
26 Elsevier North Holland (context) - Sacerdoti, for et al. - 1977
22 Wiley and Sons (context) - Kleene - 1968
20 Essentials of Logic Programming (context) - Hogger - 1990
7 Logic programming with bunched implications (context) - Pym - 1998 DBLP
4 Conseqution formulation of positive R with co-tenability and.. (context) - Dunn
3 Available on the web at http://www (context) - O'Hearn, categories et al. - 1998
Documents on the same site (http://www.dcs.qmw.ac.uk/~pym/Cvpage/Paperspage/recent.html): More
On the Intuitionistic Force of Classical Search - Ritter, Pym (1996) (Correct)
On Bunched Predicate Logic - Pym (1999) (Correct)
The Logic of Bunched Implications - O'Hearn, Pym (1999) (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