Tsitkin, A. I. Über zulässige Regeln der intuitionistischen Aussagenlogik. (Russian) Zbl 0355.02016 Mat. Sb., N. Ser. 102(144), 314-323 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 2 Documents MSC: 03B55 Intermediate logics PDFBibTeX XMLCite \textit{A. I. Tsitkin}, Mat. Sb., Nov. Ser. 102(144), 314--323 (1977; Zbl 0355.02016)