Plyushkevichus, R. A. Sequential modification of constructive logic calculus for normal formulas without structural deduction rules. (English. Russian original) Zbl 0206.28501 Semin. Math., V. A. Steklov Math. Inst., Leningrad 4, 70-76 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 4, 174-188 (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03F65 Other constructive mathematics PDFBibTeX XML