Strong Decidability and Strong Recognizability

Strong Decidability and Strong Recognizability Full article

Journal

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Output data

Year: 2017, Volume: 56, Number: 5, Pages: 370-385 Pages count : 16 DOI: 10.1007/s10469-017-9459-0

Tags

admissible rule; decidability; Johansson algebra; minimal logic; recognizable logic; strong decidability

Authors

Maksimova L.L. ^1,2 , Yun V.F. ^1,2

Affiliations

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

Maksimova L.L. , Yun V.F.
Strong Decidability and Strong Recognizability
Algebra and Logic. 2017. V.56. N5. P.370-385. DOI: 10.1007/s10469-017-9459-0 WOS Scopus OpenAlex

Максимова Л.Л. , Юн В.Ф.
Сильная разрешимость и сильная узнаваемость
Алгебра и логика. 2017. Т.56. №5. С.559-581. DOI: 10.17377/alglog.2017.56.503

Web of science:	WOS:000416984900003
Scopus:	2-s2.0-85035778626
OpenAlex:	W2771865035

DB	Citing
Scopus	8
OpenAlex	7
Web of science	5