Журнал «Логические исследования»

Специализированный научно-теоретический журнал по логике. Издание в своем роде уникально, поскольку является единственным в России периодическим изданием по логике и получило широкую известность не только в нашей стране, но и за рубежом. В нем публикуются известные отечественные и зарубежные авторы (на русском и английском языках), получившие важные результаты в различных областях современной логики. Каждый выпуск «Логических исследований» реферируются в центральных Реферативных международных журналах “Mathematical Review” и “Zentralblatt MATH”, что позволяет мировому сообществу логиков ознакомиться с состоянием исследований в данной области наук, проводимых в России.

Том 29 № 2 (2023)

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

Опубликован: 08.11.2023

Показать все выпуски