scientific article; zbMATH DE number 1231702

MaRDI QIDQ4223033zbMATH OpenFDO

Authors David Pym

Publication date 10 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17009

zbMATH Keywords

logic of bunched implications

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• The Logic of Bunched Implications
• scientific article; zbMATH DE number 1765675
• The semantics and proof theory of the logic of bunched implications
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Classical BI: Its Semantics and Proof Theory

Cited in

(8)

• Proof-search in type-theoretic languages: An introduction
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Focused proof-search in the logic of bunched implications
• The semantics and proof theory of the logic of bunched implications
• Bunched sequential information
• Formalised Inductive Reasoning in the Logic of Bunched Implications
• The Logic of Bunched Implications
• scientific article; zbMATH DE number 1765675 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4223033)