Classical and fuzzy concepts in mathematical logic and applications