V. N. Grišin “Predicate and Set-Theoretic Calculi Based on Logic without Contractions”, in: Mathematics of the USSR-Izvestija, vol. 18, no. 1, 1982 この文献については次の文がその意義の一端を伝えてくれています。 The comprehension principle …