2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/218255We consider several distinct characterizations of finite implication algebras. One of these leads to a new characterization of Boolean polymatroids.5 pagesCombinatorics06A12 (primary), 05C65 (secondary)text