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