The structure of slices over minimal logic
- 作者: Maksimova L.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
补充文件
