V. A. Yankov, “Three sequences of formulas with two variables in the positive propositional logic”, Izv. Akad. Nauk SSSR Ser. Mat., 1968, Volume 32, Issue 4,Pages <nobr>880

JOURNALS // Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya // Archive

Izv. Akad. Nauk SSSR Ser. Mat., 1968 Volume 32, Issue 4, Pages 880–883 (Mi im2496)

This article is cited in 1 paper

Three sequences of formulas with two variables in the positive propositional logic

V. A. Yankov

Abstract: Some questions of the positive calculus are considered.

UDC: 51.0116

MSC: 11Bxx, 03B05, 03B20, 06Dxx

Received: 04.07.1967

Fulltext: PDF file (356 kB)
References
Cited by

English version: Mathematics of the USSR-Izvestiya, 1968, 2:4, 845–848

Bibliographic databases: