Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Constructive Classifications of Modal Logics and Extensions of Minimal Logic. / Maksimova, L. L.
в: Algebra and Logic, Том 58, № 6, 01.01.2020, стр. 540-545.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Constructive Classifications of Modal Logics and Extensions of Minimal Logic
AU - Maksimova, L. L.
PY - 2020/1/1
Y1 - 2020/1/1
N2 - Classifications of logics over Johansson’s minimal logic J and modal logics are considered. The paper contains a partial review of the results obtained after 2010. It is known that there is a duality between the lattice of normal logics and the lattice of varieties of modal algebras, as well as between the lattice of varieties of J-algebras and the lattice of J-logics. For a logic L, by V (L) we denote its corresponding variety of algebras.
AB - Classifications of logics over Johansson’s minimal logic J and modal logics are considered. The paper contains a partial review of the results obtained after 2010. It is known that there is a duality between the lattice of normal logics and the lattice of varieties of modal algebras, as well as between the lattice of varieties of J-algebras and the lattice of J-logics. For a logic L, by V (L) we denote its corresponding variety of algebras.
KW - INTERPOLATION
KW - SLICES
UR - http://www.scopus.com/inward/record.url?scp=85081592260&partnerID=8YFLogxK
U2 - 10.1007/s10469-020-09572-1
DO - 10.1007/s10469-020-09572-1
M3 - Article
AN - SCOPUS:85081592260
VL - 58
SP - 540
EP - 545
JO - Algebra and Logic
JF - Algebra and Logic
SN - 0002-5232
IS - 6
ER -
ID: 23825903