A result on propositional logics having the disjunction property
scientific article; zbMATH DE number 3706427