Building Complete Abstract Interpretations in a Linear Logic-based Setting