On the engineering of logics by Scollo