Semantics and proof theory of the logic of bunched implications, the
Auteur :
Pym, David J.
Éditeur :
Pym, David J.
ISBN :
9781402007453
Date de publication :
1 juil. 2002
Dimensions :
23,5 x 15,5 x 2,0 cm
Poids :
1450 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Provides an 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. This monograph is aimed at graduates and researchers in mathematical logic, philosophical logic, computational logic and others.