Bi-intuitionistic Boolean Bunched Logic


We formulate and investigate a bi-intuitionistic extension, BiBBI, of the well known bunched logic Boolean BI (BBI), obtained by combining classical logic with full intuitionistic linear logic as considered by Hyland and de Paiva (as opposed to standard multiplicative intuitionistic linear logic). Thus, in addition to the multiplicative conjunction ∗ with… (More)


1 Figure or Table

Cite this paper

@inproceedings{Brotherston2014BiintuitionisticBB, title={Bi-intuitionistic Boolean Bunched Logic}, author={James Brotherston and Jules Villard}, year={2014} }