Proof of theorems in fuzzy logic on the basis of structural resolution - Ju. Ja. Samokhvalov (Cybernetics and Systems Analysis, 2019)