Заключение (проект) специализированного совета Д 002.23.01 при Институте математики СО АН СССР о диссертации В.В. Рыбакова "Допустимость правил вывода в модальных и суперинтуиционистских логиках", представленной на соискание ученой степени доктора физико-математических наук.