Constructing denumerable matrices strongly adequate for pre-finite logics