On Jaskowski-type semantics for the intuitionistic propositional logic
scientific article; zbMATH DE number 3531348