V. V. Rybakov, “A criterion for admissibility of rules in the modal system <nobr>${\rm S}4$</nobr> and intuitionistic logic”, Algebra Logika, 1984, Volume 23, Number 5,Pages <nobr>546

JOURNALS // Algebra i logika // Archive

Algebra Logika, 1984 Volume 23, Number 5, Pages 546–572 (Mi al1880)

This article is cited in 13 papers

A criterion for admissibility of rules in the modal system ${\rm S}4$ and intuitionistic logic

V. V. Rybakov

UDC: 517.11+519.48

Received: 06.03.1984

Fulltext: PDF file (10046 kB)
Cited by

Bibliographic databases: