arXiv 2015-04-15 EN A new characterization of complete Heyting and co-Heyting algebras Ranzato, Francesco