Standard

Strong Decidability and Strong Recognizability. / Maksimova, L. L.; Yun, V. F.

в: Algebra and Logic, Том 56, № 5, 01.11.2017, стр. 370-385.

Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Harvard

Maksimova, LL & Yun, VF 2017, 'Strong Decidability and Strong Recognizability', Algebra and Logic, Том. 56, № 5, стр. 370-385. https://doi.org/10.1007/s10469-017-9459-0

APA

Vancouver

Maksimova LL, Yun VF. Strong Decidability and Strong Recognizability. Algebra and Logic. 2017 нояб. 1;56(5):370-385. doi: 10.1007/s10469-017-9459-0

Author

Maksimova, L. L. ; Yun, V. F. / Strong Decidability and Strong Recognizability. в: Algebra and Logic. 2017 ; Том 56, № 5. стр. 370-385.

BibTeX

@article{741bce4f654d4eab9ca4719fef208c1d,
title = "Strong Decidability and Strong Recognizability",
abstract = "Extensions of Johansson{\textquoteright}s minimal logic J are considered. It is proved that families of negative and nontrivial logics and a series of other families are strongly decidable over J. This means that, given any finite list Rul of axiom schemes and rules of inference, we can effectively verify whether the logic with axioms and schemes, J + Rul, belongs to a given family. Strong recognizability over J is proved for known logics Neg, Gl, and KC as well as for logics LC and NC and all their extensions.",
keywords = "admissible rule, decidability, Johansson algebra, minimal logic, recognizable logic, strong decidability",
author = "Maksimova, {L. L.} and Yun, {V. F.}",
year = "2017",
month = nov,
day = "1",
doi = "10.1007/s10469-017-9459-0",
language = "English",
volume = "56",
pages = "370--385",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",
number = "5",

}

RIS

TY - JOUR

T1 - Strong Decidability and Strong Recognizability

AU - Maksimova, L. L.

AU - Yun, V. F.

PY - 2017/11/1

Y1 - 2017/11/1

N2 - Extensions of Johansson’s minimal logic J are considered. It is proved that families of negative and nontrivial logics and a series of other families are strongly decidable over J. This means that, given any finite list Rul of axiom schemes and rules of inference, we can effectively verify whether the logic with axioms and schemes, J + Rul, belongs to a given family. Strong recognizability over J is proved for known logics Neg, Gl, and KC as well as for logics LC and NC and all their extensions.

AB - Extensions of Johansson’s minimal logic J are considered. It is proved that families of negative and nontrivial logics and a series of other families are strongly decidable over J. This means that, given any finite list Rul of axiom schemes and rules of inference, we can effectively verify whether the logic with axioms and schemes, J + Rul, belongs to a given family. Strong recognizability over J is proved for known logics Neg, Gl, and KC as well as for logics LC and NC and all their extensions.

KW - admissible rule

KW - decidability

KW - Johansson algebra

KW - minimal logic

KW - recognizable logic

KW - strong decidability

UR - http://www.scopus.com/inward/record.url?scp=85035778626&partnerID=8YFLogxK

U2 - 10.1007/s10469-017-9459-0

DO - 10.1007/s10469-017-9459-0

M3 - Article

AN - SCOPUS:85035778626

VL - 56

SP - 370

EP - 385

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 5

ER -

ID: 9672175