Resource Graphs and Countermodels in Resource Logics

  title={Resource Graphs and Countermodels in Resource Logics},
  author={Didier Galmiche and Daniel M{\'e}ry},
  journal={Electr. Notes Theor. Comput. Sci.},
In this abstract we emphasize the role of a semantic structure called resource graph in order to study the provability in some resource-sensitive logics, like the Bunched Implications Logic (BI) or the Non-commutative Logic (NL). Such a semantic structure is appropriate for capturing the particular interactions between different kinds of connectives (additives and multiplicatives in BI, commutatives and non-commutatives in NL) that occur during proof-search and is also well-suited for providing… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 17 references

The Semantics and Proof Theory of the Logic of Bunched Implications, volume 26 of Applied Logic Series

D. J. Pym
View 12 Excerpts
Highly Influenced

The logic of bunched implications

Bulletin of Symbolic Logic • 1999
View 10 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…