The Semantics of BI and Resource Tableaux D. Galmiche, D. Mry and D. Pym...  Home/Search
Context
Related
| cs.bath.ac.uk/~pym/semrestab.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: cs.bath.ac.uk/~pym/BI (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we are concerned mainly with the relationships and connections between semantics of BI and so-called "resource tableaux" which lead to new results from the perspectiveof of both proof-search and semantics. In 2, we review briefly the BI logic and its sequent calculus and introduce different semantics of BI, namely the Kripke resource semantics and the Grothendieck topological semantics. We also explain the problems for completeness arising from the presence of inconsistency ? (Update)
Similar documents (at the sentence level):
9.2%: Semantic Labelled Tableaux for Propositional BI (BI without.. - Galmiche, Méry (Correct)
Similar documents based on text: More All
0.4: Resource Tableaux (Extended Abstract) - Galmiche, Méry, Pym (Correct)
0.2: A Specification Logic for Concurrent Object-Oriented.. - Delzanno, Galmiche.. (1999) (Correct)
0.2: Proof-search in Type-theoretic Languages: An Introduction - Galmiche, Pym (2000) (Correct)
BibTeX entry: (Update)
@misc{ of-under,
author = "The Semantics Of",
title = "Under consideration for publication in Math. Struct. in Comp. Science",
url = "citeseer.ist.psu.edu/646114.html" }
Citations not processed or no citations identified.
Documents on the same site (http://www.cs.bath.ac.uk/~pym/BI.html):
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (Correct)
Resource-distribution via Boolean constraints - James Harland Rmit (1997) (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