The Semantics and Proof Theory of the Logic of Bunched Implications

by David J. Pym

Book Overview

This is a monograph about logic. Specifically, it presents the mathe- matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono- graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from...

• Format: Paperback
• Language: English
• ISBN: 9048160723
• ISBN13: 9789048160723
• Release Date: December 2010
• Publisher: Springer
• Length: 290 Pages
• Weight: 1.06 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"