A multi-labelled sequent calculus for Topo-Logic
scientific article; zbMATH DE number 7208321