Предикатные и теоретико-множественные исчисления, основанные на логике без сокращений

В работе исследуется эффект удаления правил сокращения из генценовского исчисления предикатов, а также из теоретико-множественных систем, основанных на этом исчислении. Оказывается, что исчисление предикатов без правил сокращения полно относительно конечных моделей, а удаление правил сокращения из теоретико-множественных систем не изменяет запаса выводимых формул, если только системы содержат некоторые естественные аксиомы.
Библиография: 4 названия.