Evandro Agazzi's Contributions to Logic