Секвенциальный вариант исчисления конструктивной логики для нормальных формул, не содержащий структурных правил

Строятся свободные от сечения и не содержащие других структурных правил генценовские варианты исчислений конструктивной логики для нормальных формул (т.е. для формул, не содержащих знаков дизъюнкции и существования). Упомянутые исчисления содержат, помимо постулатов традиционного интуиционистского исчисления предикатов, также постулаты, относящиеся к знаку осмысленности термов, равенству и некоторым конкретным алгорифмам. Библ. 15 назв.