The Semantics and Proof Theory of the Logic of Bunched Implications Image close
The Semantics and Proof Theory of the Logic of Bunched Implications on Hardback by David J Pym
The Semantics and Proof Theory of the Logic of Bunched Implications on Hardback by David J Pym
Show Hide Adult Content
The Semantics and Proof Theory of the Logic of Bunched Implications close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

The Semantics and Proof Theory of the Logic of Bunched Implications

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$471.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $117.75 with Afterpay Learn more

6 weekly interest-free payments of $78.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Applied Logic Series

See all products in this series

Frontiers in Belief Revision on Hardback
$457.00
Frontiers in Belief Revision
Hardback
Available - Usually ships in 3-4 weeks
Fallacies Arising from Ambiguity on Hardback by Douglas Walton
$530.00
Fallacies Arising from Ambiguity
by Douglas Walton ~ Hardback
Available - Usually ships in 3-4 weeks
Proof Theory of Modal Logic on Hardback
$470.00
Proof Theory of Modal Logic
Hardback
Available - Usually ships in 3-4 weeks
Goal-Directed Proof Theory on Hardback by Dov M Gabbay
$297.00
Goal-Directed Proof Theory
by Dov M Gabbay ~ Hardback
Available - Usually ships in 3-4 weeks
The Death of Argument on Hardback by J.H. Woods
$455.00
The Death of Argument
by J.H. Woods ~ Hardback
Available - Usually ships in 3-4 weeks
Proof Theory for Fuzzy Logics on Hardback by George Metcalfe
$363.00
Proof Theory for Fuzzy Logics
by George Metcalfe ~ Hardback
Available - Usually ships in 3-4 weeks
A Modern Perspective on Type Theory on Hardback by Rob Nederpelt
$532.00
A Modern Perspective on Type Theory
by Rob Nederpelt ~ Hardback
Available - Usually ships in 3-4 weeks
An Introduction to Mathematical Logic and Type Theory on Hardback by Peter B. Andrews
$378.00
An Introduction to Mathematical Logic and Type Theory
by Peter B. Andrews ~ Hardback
Available - Usually ships in 3-4 weeks
Foundations of Rational Agency
$452.00
Foundations of Rational Agency
Paperback / softback
Available - Usually ships in 3-4 weeks
A Modern Perspective on Type Theory by Rob Nederpelt
$373.00
A Modern Perspective on Type Theory
by Rob Nederpelt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Logic and its Proof-Theory by Torben Brauner
$293.00
Hybrid Logic and its Proof-Theory
by Torben Brauner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Labelled Deduction
$294.00
Labelled Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Intensional Logic
$450.00
Advances in Intensional Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
Abduction and Induction on Hardback
$453.00
Abduction and Induction
Hardback
Available - Usually ships in 3-4 weeks
Fuzzy Sets, Logics and Reasoning about Knowledge on Hardback
$456.00
Fuzzy Sets, Logics and Reasoning about Knowledge
Hardback
Available - Usually ships in 3-4 weeks
Proof Theory for Fuzzy Logics by George Metcalfe
$345.00
Proof Theory for Fuzzy Logics
by George Metcalfe ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which additive (or extensional) and multiplicative (or intentional) implications co-exist with equal logical status, the book gives natural deduction, l-calculi, sequent calculus, categorical semantics, Kripke models, topological models, logical relations and computational interpretations for both propositional and predicate BI, within which both additive and multiplicative quantifiers also co-exist.
Release date NZ
July 31st, 2002
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
XLIX, 290 p.
Pages
290
Dimensions
155x235x20
ISBN-13
9781402007453
Product ID
2438703

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by David J Pym

See all books by this author

Reductive Logic and Proof-search on Hardback by David J Pym
$581.00
Reductive Logic and Proof-search
by David J Pym ~ Hardback
Available - Usually ships in 3-4 weeks
The Semantics and Proof Theory of the Logic of Bunched Implications by David J Pym
$451.00
The Semantics and Proof Theory of the Logic of Bunched Implications
by David J Pym ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation