Research output: Contribution to journal › Article › peer-review
Constructive Classifications of Modal Logics and Extensions of Minimal Logic. / Maksimova, L. L.
In: Algebra and Logic, Vol. 58, No. 6, 01.01.2020, p. 540-545.Research output: Contribution to journal › Article › peer-review
}
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