Authors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Applied Logic Series (APLS, volume 26)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (16 chapters)
-
Front Matter
-
Propositional BI
-
Front Matter
-
-
Back Matter
About this book
Reviews
From the reviews:
"This monograph presents a mathematical theory of the logic of BI … . Due to the author’s clear and approachable style this book may be interesting to a large circle of logicians, mathematicians and computer scientists. In particular, it could be useful to graduate students, specialists and researchers in the field of applications of logic in programming. In addition to its other qualities, this book also presents a significant contribution to a new area of mathematical logic—fibring logic … .” (Branislav Boricic, Mathematical Reviews, Issue 2008 i)
Authors and Affiliations
-
University of Bath, UK
David J. Pym
Bibliographic Information
Book Title: The Semantics and Proof Theory of the Logic of Bunched Implications
Authors: David J. Pym
Series Title: Applied Logic Series
DOI: https://doi.org/10.1007/978-94-017-0091-7
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media B.V. 2002
Hardcover ISBN: 978-1-4020-0745-3Published: 31 July 2002
Softcover ISBN: 978-90-481-6072-3Published: 04 December 2010
eBook ISBN: 978-94-017-0091-7Published: 17 April 2013
Series ISSN: 1386-2790
Edition Number: 1
Number of Pages: XLIX, 290
Topics: Mathematical Logic and Foundations, Logic, Programming Languages, Compilers, Interpreters