scientific article; zbMATH DE number 1765675

zbMATH Open0988.68508MaRDI QIDQ4539612FDOQ4539612

Authors: Pablo A. Armelín, David Pym 

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830289

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1231702
• The Logic of Bunched Implications
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Logic programming in a fragment of intuitionistic linear logic
• The semantics of BI and resource tableaux

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cited In (8)

• Temporal BI: proof system, semantics and translations
• Focused proof-search in the logic of bunched implications
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Logical approximation for program analysis
• An algebraic glimpse at bunched implications and separation logic
• Title not available (Why is that?)
• A neural implementation of multi-adjoint logic programming

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 Q4539612)