Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Bunched_logic> ?p ?o }
Showing triples 1 to 53 of
53
with 100 triples per page.
- Bunched_logic abstract "Bunched logic is a variety of substructural logic that, like linear logic, has classes of multiplicative and additive operators, but differs from usual proof calculi in having a tree-like context of hypotheses instead of a flat list-like structure; it is thus a calculus of deep inference. Sub-trees of the context tree are referred to as bunches; hence the name. The internal nodes in the context tree are labelled with the mode of composition — multiplicative or additive, with the following characteristics: Multiplicative composition denies the structural rules of weakening and contraction. Additive composition admits weakening and contraction of entire bunches.Corresponding to each of these bunch combinators is conjunction, and each conjunction has an associated implication; hence the name, the logic of bunched implications.The semantics of bunched logic can be given in terms of Kripke models in which the set of worlds carries not only a preorder but also a monoidal product. Categorical models of bunched logic are given by doubly closed categories, which are both cartesian closed and symmetric monoidal closed. Day's tensor product construction can be used to generate categorical models corresponding to the Kripke semantics.Bunched logic has been used in connection with the (synchronous) resource-process calculus SCRP in order to give a logic which characterizes, in the sense of Hennessey-Milner, the compositional structure of concurrent systems.Bunched logic extended with a semantic model of locations and store is known as separation logic. It has been used to define the logic of pointer-analysis in languages like ALGOL or C.The implicational fragment of bunched logic has been given a games semantics.".
- Bunched_logic wikiPageExternalLink BI-monograph-errata.pdf.
- Bunched_logic wikiPageExternalLink BunchedTyping.pdf.
- Bunched_logic wikiPageExternalLink BunchedTyping.ps.
- Bunched_logic wikiPageID "922464".
- Bunched_logic wikiPageLength "3590".
- Bunched_logic wikiPageOutDegree "23".
- Bunched_logic wikiPageRevisionID "585793767".
- Bunched_logic wikiPageWikiLink ALGOL.
- Bunched_logic wikiPageWikiLink C_(programming_language).
- Bunched_logic wikiPageWikiLink Cartesian_closed.
- Bunched_logic wikiPageWikiLink Cartesian_closed_category.
- Bunched_logic wikiPageWikiLink Categorical_model.
- Bunched_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Bunched_logic wikiPageWikiLink Category:Mathematical_logic.
- Bunched_logic wikiPageWikiLink Category:Substructural_logic.
- Bunched_logic wikiPageWikiLink Deep_inference.
- Bunched_logic wikiPageWikiLink Gordon_Plotkin.
- Bunched_logic wikiPageWikiLink Hypothesis.
- Bunched_logic wikiPageWikiLink Kluwer_Academic_Publishers.
- Bunched_logic wikiPageWikiLink Kripke_semantics.
- Bunched_logic wikiPageWikiLink Linear_logic.
- Bunched_logic wikiPageWikiLink Monoid.
- Bunched_logic wikiPageWikiLink Morleys_categoricity_theorem.
- Bunched_logic wikiPageWikiLink Peter_OHearn.
- Bunched_logic wikiPageWikiLink Preorder.
- Bunched_logic wikiPageWikiLink Proof_calculi.
- Bunched_logic wikiPageWikiLink Proof_calculus.
- Bunched_logic wikiPageWikiLink Robin_Milner.
- Bunched_logic wikiPageWikiLink Separation_logic.
- Bunched_logic wikiPageWikiLink Springer_Science+Business_Media.
- Bunched_logic wikiPageWikiLink Structural_rule.
- Bunched_logic wikiPageWikiLink Substructural_logic.
- Bunched_logic wikiPageWikiLink Tensor_product.
- Bunched_logic wikiPageWikiLinkText "Bunched implications".
- Bunched_logic wikiPageWikiLinkText "Bunched logic".
- Bunched_logic hasPhotoCollection Bunched_logic.
- Bunched_logic wikiPageUsesTemplate Template:No_footnotes.
- Bunched_logic subject Category:Logic_in_computer_science.
- Bunched_logic subject Category:Mathematical_logic.
- Bunched_logic subject Category:Substructural_logic.
- Bunched_logic hypernym Variety.
- Bunched_logic type Article.
- Bunched_logic type Grape.
- Bunched_logic type Article.
- Bunched_logic type Field.
- Bunched_logic comment "Bunched logic is a variety of substructural logic that, like linear logic, has classes of multiplicative and additive operators, but differs from usual proof calculi in having a tree-like context of hypotheses instead of a flat list-like structure; it is thus a calculus of deep inference. Sub-trees of the context tree are referred to as bunches; hence the name.".
- Bunched_logic label "Bunched logic".
- Bunched_logic sameAs m.03q68k.
- Bunched_logic sameAs Q4997446.
- Bunched_logic sameAs Q4997446.
- Bunched_logic wasDerivedFrom Bunched_logic?oldid=585793767.
- Bunched_logic isPrimaryTopicOf Bunched_logic.