Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Applied Logic Series (APLS, volume 26)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 chapters)
-
Propositional BI
Keywords
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
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