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.
Olga Izbash, Andrei Rusu, “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
2013
2.
Andrei Rusu, “Infinitely many maximal primitive positive clones in a diagonalizable algebra”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2013, no. 2-3, 47–52
2007
3.
A. Rusu, “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
2000
4.
M. F. Raţă, A. G. Russu, “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; Discrete Math. Appl., 10:6 (2000), 553–570
Contact us: