Аннотация:
Для класса суперинтуиционистских пропозициональных исчислений, дополнительные аксиомы которых – импликативные формулы и одна из формул $(\urcorner\urcorner q\supset t)\supset(((\urcorner\urcorner q\supset q)\supset t)\supset t)$ и $(\urcorner q\supset t)\supset((\urcorner\urcorner q\supset t)\supset t)$, изучается их свойство, состоящее в том, что множество позитивных формул, выводимых в рассматриваемом исчислении, совпадает с множеством позитивных формул, выводимых в исчислении, получающемся из него путем удаления дополнительной аксиомы, содержащей отрицание. Доказывается наличие алгорифма, распознающего обладающие этим свойством исчисления среди исчислений рассматриваемого класса. По каждому такому исчислению строится равнообъемное с ним исчисление из этого же класса, обладающее данным свойством. Последний результат распространяется и на свойство исчислений быть отделимым.
Библиогр. 10.