Reduced axioms for the propositional logics induced by basic algebras
scientific article; zbMATH DE number 6960118