Rusu Andrei Gheorghe

Publications in Math-Net.Ru

1. On the absence of finite approximation relative to model completeness in propositional provability logic
   
   Bul. Acad. Ştiinţe Repub. Mold. Mat., 2015, no. 3,  110–113
2. Infinitely many maximal primitive positive clones in a diagonalizable algebra
   
   Bul. Acad. Ştiinţe Repub. Mold. Mat., 2013, no. 2-3,  47–52
3. Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
   
   Bul. Acad. Ştiinţe Repub. Mold. Mat., 2007, no. 1,  66–72
4. On some properties of systems, complete with respect to expressibility, of formulas in the Gödel–Löb provability logic
   
   Diskr. Mat., 12:4 (2000),  63–82