Minimal elements of a monotonic predicate over the powerset $2^{|n|}$
Your problem is known in the learning literature as "learning monotone functions using membership queries". A class of monotone functions for which one can identify all minterms is known as "polynomially learnable using membership queries".

It seems that the existence of a polynomial time algorithm is still open. Schmulevich et al. prove that "Almost all monotone Boolean functions are polynomially learnable using membership queries". If we also require that the $t$th minterm be generated in time polynomial in $n$ and $t$, then the problem is equivalent to monotone dualization, as shown by Bioch and Ibaraki. Here is a survey addressing monotone dualization.