The Semantics and Proof Theory of the Logic of Bunched Implications /

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...

Full description

Bibliographic Details

Main Author:	Pym, David J.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2002.
Series:	Applied logic series ; 26.
Subjects:	Philosophy (General) Logic. Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book