Varpakhovskii, F. L. On a class of realizable propositional formulas. (Russian) Zbl 0222.02020 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 8-23 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Review MSC: 03B55 Intermediate logics Citations:Zbl 0259.02020 × Cite Format Result Cite Review PDF Full Text: DOI EuDML