Speciality:
01.01.06 (Mathematical logic, algebra, and number theory)
Phone: +40 772105928, +373 67480456
E-mail: , ,
Website: https://agrusu.info Keywords: expressibility,
completeness as to expressibility,
bases,
provability logic,
natural computing.
UDC: 510
Subject:
1. Functional investigation of non-classical logics.
2, Ontologies of the RDI in Republic of Moldova.
3. Internet of Things.
4. Agents and natural computing.
Main publications:
Criteriul de completitudine slabă la expresibilitate în extensia 4-valentă a logicii demonstraţionale // Scripta Scientiarum Mathematicarum (Chişinău), vol. 2, nr. 1, 2001, p. 138–155.
Despre unele proprietăţi a sistemelor de formule complete relativ la expresibilitate din logica demonstraţională Gödel–Lob, Moscova, Matematica discretă (Acad. Şt. A Rusiei), v. 12, nr. 4, 2000, pp. 63–82. (cu M. Raţă) (lb. rusਧ); (traducere in limba engleza "On some properties of complete by expressibility systems of formulas in the Göbel–Löb probability logic" in revista Discrete Mathematics and Applications, 2000, vol. 10, nr. 6, p. 553–570).
O analiză matematică a fenomenului corupţiei funcţionarilor publici // în culegerea de articole "Corupţia" sub egida SOROS Foundation Moldova, Editura Arc, 2000, p. 283–310.
Criteriul de completitudine la expresibilitate în extensia 4-valentă a logicii demonstraţionale // Buletinul A.Ş. a R.M. Matematica, 1996, nr. 1(20), p. 82–96.
Despre puterea bazelor de formule şi lipsa aproximării finite relativ la completitudine în logica demonstraţională propoziţională, Buletinul A.Ş. a R.M. Matematica, 1992, nr. 2(8), p. 6–14.
