V. R. Kiyatkin, “Inference rules with metavariables, and logical equations in the pretabular modal logic PM1”, Sibirsk. Mat. Zh., 2000, Volume 41, Number 1,Pages <nobr>88

JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2000 Volume 41, Number 1, Pages 88–97 (Mi smj1519)

This article is cited in 2 papers

Inference rules with metavariables, and logical equations in the pretabular modal logic PM1

V. R. Kiyatkin

UDC: 510.6

Fulltext: PDF file (210 kB)
Cited by

English version: Siberian Mathematical Journal, 2000, 41:1, 74–80

Bibliographic databases: