Исследования по неклассическим логикам и теории множеств

Abstract

Сборник продолжает цикл сборников:

(1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования по теории множеств и неклассическим логикам (1979) Исследования по неклассическим логикам и теории множеств (1983) Исследования по неклассическим логикам и формальным системам

В сборнике анализируются актуальные вопросы современной логики и оснований математики, представляющие интерес для широкого круга ученых в области естественных наук. Авторы рассматривают вопросы теории множеств, интуиционистской логики, модальных и многозначных логик. Сборник подготовлен к публикации сотрудниками Отдела семиотических проблем информатики ВИНИТИ АН СССР.