The structure of slices over minimal logic
- Авторы: Maksimova L.1
-
Учреждения:
- Sobolev Institute of Mathematics Novosibirsk State University
- Выпуск: Том 57, № 5 (2016)
- Страницы: 841-848
- Раздел: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/170720
- DOI: https://doi.org/10.1134/S003744661605013X
- ID: 170720
Цитировать
Аннотация
In [1], we introduced a classification of extensions of Johansson’s minimal logic J by means of slices and proved the decidability of the classification. In this article, we find sufficiently simple necessary conditions for the maximality of logics in the slices formulated in terms of frames. This makes it possible to describe an efficient procedure for computing the slice number of any finitely axiomatizable logic over J. The maximal logics of the upper slices are written down explicitly.
Ключевые слова
Об авторах
L. Maksimova
Sobolev Institute of Mathematics Novosibirsk State University
Автор, ответственный за переписку.
Email: lmaksi@math.nsc.ru
Россия, Novosibirsk