Publications in Math-Net.Ru
-
JSM-method and modificational calculations
Artificial Intelligence and Decision Making, 2008, no. 1, 55–79
-
On a logical construction of the JSM-method of automated
hypothesis generation
Dokl. Akad. Nauk SSSR, 320:6 (1991), 1331–1336
-
Many-valued logics and their algebras
Uspekhi Mat. Nauk, 45:6(276) (1990), 123–124
-
On the axiomatization of finite-valued logical calculi
Mat. Sb. (N.S.), 123(165):4 (1984), 477–495
-
On multivalued logical calculi
Dokl. Akad. Nauk SSSR, 264:2 (1982), 267–270
© , 2026