The interpolation problem in finite-layered pre-Heyting logics
scientific article; zbMATH DE number 7140978
scientific article