Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
The Semantics and Proof Theory of the Logic of Bunched Implications
Foyalty 450

The Semantics and Proof Theory of the Logic of Bunched Implications (Hardback)

Usually despatched within 3 weeks.


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 the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within informatics: * Resources as a basis for semantics; * Proof-search as a basis for reasoning; and * The theory of representation of object-logics in a meta-logic. The ensuing development represents a logical theory which draws upon the mathematical, philosophical and computational aspects of logic. Part I presents the logical theory of propositional BI, together with a computational interpretation. Part II presents a corresponding devel opment for predicate BI. In both parts, I develop proof-, model- and type-theoretic analyses. I also provide semantically-motivated compu tational perspectives, so beginning a mathematical theory of resources. I have not included any analysis, beyond conjecture, of properties such as decidability, finite models, games or complexity. I prefer to leave these matters to other occasions, perhaps in broader contexts.

Computing & ITComputer scienceMathematical theory of computationScience & MathematicsMathematicsMathematical foundationsMathematical logic Publisher: Springer-Verlag New York Inc. Publication Date: 01/07/2002 ISBN-13: 9781402007453  Details: Type: Hardback Format: Books
Availability: Usually despatched within 3 weeks. Add to Basket

More books by David J. Pym

Leave Review


Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
Free UK Standard Delivery on Orders Over £20 (2nd Class)     3-5 Days
UK Standard Delivery (2nd Class) £2.75 £0.00 3-5 Days
UK 1st Class Delivery £3.75 £0.00 1-2 Days
Click and Collect / 
Delivery to a Foyles Bookshop
Free Free From 2 hours - Individual item delivery times given at checkout
UK Courier £7.95 £0.00 1 Working Day
Western Europe**Airmail £9.00 £1.00 7-8 Days
Rest of World Airmail £12.50 £1.00 7-10 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Click and Collect is available for all our shops; collection times will vary depending on availability of items. Individual despatch times for each item will be given at checkout.

Delivery Help & FAQs

A Year of Books Subscription Packages 

Delivery is free for the UK. Western Europe costs £60 for each 12 month subscription package purchased. For the Rest of the World the cost is £100 for each package purchased. All delivery costs are charged in advance at time of purchase. For more information please visit the A Year of Books page.

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

An Introduction to Many-valued Logics
Robert Ackermann
The Rohonc Code: Tracing a Historical...
Benedek Lang; Benedek Lang; Teodora...
Mathematical Labyrinths. Pathfinding
Boris Pritsker
© W&G Foyle Ltd
Foyles uses cookies to help ensure your experience on our site is the best possible. Click here if you’d like to find out more about the types of cookies we use.
Accept and Close