|
This article is cited in 12 scientific papers (total in 12 papers)
MATHEMATICS
On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures
V. A. Yankov Lomonosov Moscow State University
Citation:
V. A. Yankov, “On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures”, Dokl. Akad. Nauk SSSR, 151:6 (1963), 1293–1294
Linking options:
https://www.mathnet.ru/eng/dan28461 https://www.mathnet.ru/eng/dan/v151/i6/p1293
|
Statistics & downloads: |
Abstract page: | 183 | Full-text PDF : | 105 |
|