  It is shown that propositional intuitionistic logic is the maximal (with
respect to expressive power) abstract logic satisfying a certain topological
property reminiscent of compactness, the Tarski union property and preservation
under asimulations.
