The Semantics and Proof Theory of the Logic of Bunched Implications Image close
The Semantics and Proof Theory of the Logic of Bunched Implications by David J Pym
The Semantics and Proof Theory of the Logic of Bunched Implications 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  
Humanities  
Philosophy  
Topics in philosophy  
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:

Paperback / softback
$451.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 $112.75 with Afterpay Learn more

6 weekly interest-free payments of $75.17 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 intensional) implications co-exist with equal logical status, we give natural deduction, lambda-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. This monograph will be of interest to graduate students and researchers in mathematical logic, philosophical logic, computational logic and theoretical computer science.
Release date NZ
December 4th, 2010
Author
Audience
  • Professional & Vocational
Edition
Softcover reprint of hardcover 1st ed. 2002
Illustrations
XLIX, 290 p.
Pages
290
Dimensions
156x234x18
ISBN-13
9789048160723
Product ID
8941573

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

The Semantics and Proof Theory of the Logic of Bunched Implications on Hardback by David J Pym
$471.00
The Semantics and Proof Theory of the Logic of Bunched Implications
by David J Pym ~ Hardback
Available - Usually ships in 3-4 weeks
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

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer programming / software development >
Compilers