|
Sibirskii Matematicheskii Zhurnal, 2000, Volume 41, Number 1, Pages 88–97
(Mi smj1519)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
Inference rules with metavariables, and logical equations in the pretabular modal logic PM1
V. R. Kiyatkin
Citation:
V. R. Kiyatkin, “Inference rules with metavariables, and logical equations in the pretabular modal logic PM1”, Sibirsk. Mat. Zh., 41:1 (2000), 88–97; Siberian Math. J., 41:1 (2000), 74–80
Linking options:
https://www.mathnet.ru/eng/smj1519 https://www.mathnet.ru/eng/smj/v41/i1/p88
|
Statistics & downloads: |
Abstract page: | 220 | Full-text PDF : | 74 |
|