V. V. Rybakov, “A criterion for admissibility of rules in the modal system ${\rm S}4$ and intuitionistic logic”, Algebra Logika, 23:5 (1984), 546

Algebra i logika

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive
	Impact factor

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Algebra Logika:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

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

This article is cited in 13 scientific papers (total in 13 papers)

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

V. V. Rybakov

Full-text PDF (10046 kB) Citations (13)

Received: 06.03.1984

Bibliographic databases:

Document Type: Article

UDC: 517.11+519.48

Language: Russian

Citation: V. V. Rybakov, “A criterion for admissibility of rules in the modal system ${\rm S}4$ and intuitionistic logic”, Algebra Logika, 23:5 (1984), 546–572

Citation in format AMSBIB

\Bibitem{Ryb84}

\by V.~V.~Rybakov

\paper A criterion for admissibility of rules in the modal system

              ${\rm S}4$ and intuitionistic logic

\jour Algebra Logika

\yr 1984

\vol 23

\issue 5

\pages 546--572

\mathnet{http://mi.mathnet.ru/al1880}

\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=817030}

Linking options:

https://www.mathnet.ru/eng/al1880

https://www.mathnet.ru/eng/al/v23/i5/p546

This publication is cited in the following 13 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Registration to the website

Logotypes