Интерполяционная теорема для простой паранормальной логики $Int_{0,\omega}$

Аннотация

Исследуются логики Par(1,N), PCont(1,N)PComp(1,N), PCont(1,N), PComp(1,N), Par(1), PCont(1)PComp(1), PCont(1) и PComp(1), являющиеся паралогиками, родственными логикам Нельсона из [7] и [9], а также логикам, изучаемым в [3], [4], [5] и [8]. Для каждой поименованной выше логики предлагается свободная от сечения секвенциальная аксиоматизация, а для каждой логики Par(1), PCont(1)PComp(1), PCont(1) и PComp(1) строится конечная характеристическая матрица. Кроме того, перечисляются все логики, включающие логику Par(1).