Logics for extended distributive contact lattices
scientific article; zbMATH DE number 6937678
scientific article