Критерии допустимости правил вывода с параметрами в интуиционистском исчислении высказываний

В работе исследуется проблема распознавания допустимости правил вывода обобщенного вида – правил вывода с параметрами – в интуиционистском исчислении высказываний. Найдены алгоритмический и семантический критерии распознавания допустимости таких правил, основанные на специальных интуиционистских моделях Крипке. В частности, получено решение проблемы Фридмана, обобщенной на случай правил вывода с параметрами. Получены приложения к распознаванию разрешимости логических уравнений и построению их решений.