Possible Worlds and Resources: The Semantics of BI

Cited 70 time in webofscience Cited 0 time in scopus
  • Hit : 235
  • Download : 0
The logic of bunched implications, BI, is a substructural system which freely combines an additive (intuitionistic) and a multiplicative (linear) implication via bunches (contexts with two combining operations, one which admits Weakening and Contraction and one which does not). BI may be seen to arise from two main perspectives. On the one hand, from proof-theoretic or categorical concerns and, on the other, from a possible-worlds semantics based on preordered (commutative) monoids. This semantics may be motivated from a basic model of the notion of resource. We explain BI's proof-theoretic, categorical and semantic origins. We discuss in detail the question of completeness, explaining the essential distinction between BI with and without perpendicular to (the unit of boolean OR). We give an extensive discussion of BI as a semantically based logic of resources, giving concrete models based on Petri nets, ambients, computer memory, logic programming, and money. (C) 2003 Published by Elsevier B.V.
Publisher
ELSEVIER SCIENCE BV
Issue Date
2004-05
Language
English
Article Type
Article; Proceedings Paper
Citation

THEORETICAL COMPUTER SCIENCE, v.315, no.1, pp.257 - 305

ISSN
0304-3975
DOI
10.1016/j.tcs.2003.11.020
URI
http://hdl.handle.net/10203/225298
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 70 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0