Секвенциальная аксиоматизация и семантика I-логик васильевского типа

Main Article Content

В. М. Попов

Аннотация

Изучаемые здесь \(I\)-логики васильевского типа были найдены в процессе экспликации некоторых идей российского логика и философа Николая Александровича Васильева, лежащих в основе его «воображаемой логики». Целью этой статьи является демонстрация того, как конструировать простые и удобные для поиска доказательства секвенциальные аксиоматизации \(I\) -логик васильевского типа и как строить интуитивно ясные двузначные семантики, адекватные \(I\) -логикам васильевского типа. В предлагаемой статье определяются \(I\)-логики васильевского типа, строятся их секвенциальные аксиоматизации, даются необходимые семантические определения и доказываются теорема об оправданности \(HI_{\langle\alpha,\beta\rangle}\)-выводов (теорема 5) и теорема о полноте \(HI_{\langle\alpha,\beta\rangle}\)-выводов (теорема 6). Работа завершается рядом следствий из указанных теорем и анонсом решения проблемы табличности \(I\)-логик васильевского типа.

Скачивания

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

Article Details

Как цитировать
[1]
В. М. Попов. Секвенциальная аксиоматизация и семантика I-логик васильевского типа // Логические исследования / Logical Investigations. 2018. Т. 22. № 1.
.
Раздел
Неклассические логики