Интерполяционная теорема для простой паранормальной логики Int0,ω

Main Article Content

В. М. Попов

Аннотация

Исследуются логики 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).

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
В. М. Попов. Интерполяционная теорема для простой паранормальной логики Int0,ω // Логические исследования / Logical Investigations. 2018. Т. 18. № 1.
.
Раздел
Статьи