В очередном номере представлены работы, относящиеся к областям символической, неклассической и философской логики. Статья Рыбакова М.Н. посвящена обсуждению условий теоремы Крейга для теорий имеющих рекурсивно перечислимую и рекурсивную аксиоматику. Девяткин Л.Ю. исследует все возможные расширения известной трехзначной логики Клини и доказывает ряд важных теорем. Томова Н.Е. рассматривает вопросы, связанные с определением параполных логик, а также вопросы модальной интерпретации параполного отрицания. Вопросам различных вариантов аксиоматизации квантовой логики посвящена работа Печенкина А.А. Еще одну аксиоматизацию, но уже вычислительной квантовой логики, строит Васюков В.Л. Синтаксис и семантику негибридной модальной логики первого порядка для кросс-мировой предикации предлагает Борисов Б.В. Работа Шалака В.И. посвящена анализу тьюринговой модели вычислимости и ее естественному обобщению, в котором вычислимы функции, невычислимые по Тьюрингу.
Опубликован: 08.11.2023