Выполнимость ярких формул
Абстракт
Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.
Англомовна версія (Springer): Ukrainian Mathematical Journal 59 (2007), no. 10, pp 1606-1610.
Зразок цитування: Денисов А. С. Выполнимость ярких формул // Укр. мат. журн. - 2007. - 59, № 10. - С. 1432–1435.
Повний текст