On the simple substitution property for superintuitionistic and modal propositional logics
superintuitionistic propositional logics
scientific article; zbMATH DE number 5905474