The structure of slices over minimal logic


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

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

补充文件

附件文件
动作
1. JATS XML

版权所有 © Pleiades Publishing, Ltd., 2016