Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding

Dominique Larchey-Wendling, Didier Galmiche. Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding. Mathematical Structures in Computer Science, 19(3):435-500, 2009. [doi]

Abstract

Abstract is missing.