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

Изучается свойство простой подстановки, касающееся суперинтуиционистских пропозициональных исчислений, являющихся аксиоматизациями суперинтуиционистских пропозициональных логик. Для этих исчислений получен алгебраический критерий наличия свойства простой подстановки. С его помощью доказано, что многие логики, среди которых содержатся почти все логики, порожденные формулами от одной переменной, не обладают свойством простой подстановки. Получен ряд результатов, устанавливающих связь между отделимыми и обладающими свойством простой подстановки аксиоматизациями рассматриваемых логик.
Библиография: 33 наименования.