Research output: Contribution to journal › Article › peer-review
Strong computability of slices over the logic Gl. / Maksimova, Larisa L.vovna; Yun, Veta Fedorovna.
In: Сибирские электронные математические известия, Vol. 15, 01.01.2018, p. 35-47.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Strong computability of slices over the logic Gl
AU - Maksimova, Larisa L.vovna
AU - Yun, Veta Fedorovna
PY - 2018/1/1
Y1 - 2018/1/1
N2 - In [2] the classification of extensions of the minimal logic J using slices was introduced and decidability of the classification was proved. We will consider extensions of the logic Gl = J + (A V ¬A). The logic Gl and its extensions have been studied in [8, 9]. In [6], it is established that the logic Gl is strongly recognizable over J, and the family of extensions of the logic Gl is strongly decidable over J. In this paper we prove strong decidability of the classification over Gl: for every finite set Rul of axiom schemes and rules of inference, it is possible to efficiently calculate the slice number of the calculus obtained by adding Rul as new axioms and rules to Gl.
AB - In [2] the classification of extensions of the minimal logic J using slices was introduced and decidability of the classification was proved. We will consider extensions of the logic Gl = J + (A V ¬A). The logic Gl and its extensions have been studied in [8, 9]. In [6], it is established that the logic Gl is strongly recognizable over J, and the family of extensions of the logic Gl is strongly decidable over J. In this paper we prove strong decidability of the classification over Gl: for every finite set Rul of axiom schemes and rules of inference, it is possible to efficiently calculate the slice number of the calculus obtained by adding Rul as new axioms and rules to Gl.
KW - Decidability
KW - Kripke frame
KW - Recognizable logic
KW - Slices
KW - The minimal logic
KW - The minimal logic
KW - slices
KW - Kripke frame
KW - decidability
KW - recognizable logic
UR - http://www.scopus.com/inward/record.url?scp=85074902291&partnerID=8YFLogxK
UR - https://www.elibrary.ru/item.asp?id=36998686
U2 - 10.17377/semi.2018.15.005
DO - 10.17377/semi.2018.15.005
M3 - Article
AN - SCOPUS:85074902291
VL - 15
SP - 35
EP - 47
JO - Сибирские электронные математические известия
JF - Сибирские электронные математические известия
SN - 1813-3304
ER -
ID: 22322560