Раца Мефодий Фёдорович

Публикации в базе данных Math-Net.Ru

1. Формальное сведение общей проблемы выразимости формул в логике доказуемости Гёделя–Лёба
   
   Дискрет. матем., 14:2 (2002),  95–106
2. О некоторых свойствах полных по выразимости систем формул в логике доказуемости Геделя–Леба
   
   Дискрет. матем., 12:4 (2000),  63–82
3. Неразрешимость проблемы функциональной выразимости в модальной логике $\mathrm{S}4$
   
   Докл. АН СССР, 268:4 (1983),  814–817
4. Нетабличность логики ${\rm S}4$ по функциональной полноте
   
   Алгебра и логика, 21:3 (1982),  283–320
5. Критерий функциональной полноты в классической логике предикатов первого порядка
   
   Докл. АН СССР, 249:3 (1979),  540–544
6. Критерий функциональной полноты в интуционистской логике высказываний
   
   Докл. АН СССР, 201:4 (1971),  794–797
7. Критерий функциональной полноты в логике, соответствующей первой матрице Яськовского
   
   Докл. АН СССР, 168:3 (1966),  524–527


8. Александр Владимирович Кузнецов (некролог)
   
   УМН, 41:2(248) (1986),  179–180
9. Поправки к статье “Критерий функциональной полноты в интуционистской логике высказываний” (ДАН, т. 201, № 4, 1971 г.)
   
   Докл. АН СССР, 206:6 (1972),  775