Metodie Rata

Ciclul cuprinde rezultate publicate in 2 monografii si 16 articole stiintifice, in care sunt solutionate probleme de expresibilitatea in cele mai importante logici non clasice. Inclusiv, este solutionata difinitiv problema de completitudine in logica intuitionista, este demonstrata 
indecidabilitatea problemei de expresibilitate in logicile modale si cele demonstrabile care nu sunt local tabelare.
 Unele lucrari din ciclu sunt scrise in colaborare cu discipoli si examineaza subiecte noi, cum ar fi logica dual intuitionista, completitudinea parametrica, completitudinea modelara, proprietati originale ale sistemelor complete, descrierea sistemelor lantiale de functii pseudobooleene.
 Rezultatele au fost aprobate de specialisti la 7 foruri internationale, la mai mult de 30 conferinte stiintifice din CSI si Romania.