К вопросу об отделимости нормализуемых суперинтуиционистских пропозициональных логик

В работе изучается проблема отделимости суперинтуиционистских пропозициональных логик – расширений интуиционистской пропозициональной логики. Получен критерий отделимости нормальных суперинтуиционистских пропозициональных исчислений, а также результаты, касающиеся полноты фрагментов таких исчислений. Данный критерий позволяет устанавливать отделимость нормализуемых суперинтуиционистских пропозициональных логик. С помощью этих результатов исправлены обнаруженные автором ошибки в доказательствах некоторых утверждений Мак-Кея и Хосои.
Библиография: 26 названий.