V. V. Rybakov, “A criterion for admissibility of inference rules in modal and intuitionistic logic”, Dokl. Akad. Nauk SSSR, 1985, Volume 284, Number 3,Pages <nobr>538

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1985 Volume 284, Number 3, Pages 538–541 (Mi dan8957)

MATHEMATICS

A criterion for admissibility of inference rules in modal and intuitionistic logic

V. V. Rybakov

Krasnoyarsk State University

UDC: 517.11+519.48

Presented: A. D. Aleksandrov
Received: 07.08.1984

Fulltext: PDF file (548 kB)

Bibliographic databases: