М.: Наука, 1983. — 360 с.
Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической
логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам В сборнике рассматриваются синтаксические и семантические аспекты неклассических логик, а также некоторые вопросы аксиоматической теории множеств. Сборник содержит материалы по модальным, многозначным логикам и статьи, в которых излагаются различные интуиционистские теории и проблемы конструктивизации неклассических логик (трехзначной логики Д.А.Бочвара, бестиповой логики В.А.Аккермана и др.). Содержание: Д.А.Бочвар. К теории эпсилон-отношений
П.А.Кулунков. Непротиворечивость одного варианта теории множеств с двумя отношениями принадлежности
В.Г.Кановей. О некоторых проблемах дескриптивной теории множеств и определимости в теории типов
В.А.Любецкий, Е.И.Гордон. Булевы расширения равномерных структур
Д.П.Скворцов. Об интуиционистском исчислении высказываний с дополнительной логической связкой
Г.Ф.Шварц. Свойства эффективности логических связок в интуиционистской теории типов
В.X.Хаханян. Теория множеств и тезис Черча
Д.П.Скворцов. О структуре расширений пропозиционального фрагмента логики Аккермана
М.Ф.Радо. О функциональной полноте в модальной логике S5
Р.Ш.Григолия. Свободные S4.3-алгебры с конечным числом образующих
В.Б.Шехтман. О счетной аппроксимируемости суперинтуиционистских и модальных логик
И.С.Негру. Об алгебраических свойствах структуры классов Поста и их многозначных обобщений
В.Н.Гришин. Об одном обобщении системы Айдукевича—Ламбека
О.М.Аншаков. О некоторых конструктивизациях пропозициональных логик Д.А.Бочвара и С.Холдена
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам В сборнике рассматриваются синтаксические и семантические аспекты неклассических логик, а также некоторые вопросы аксиоматической теории множеств. Сборник содержит материалы по модальным, многозначным логикам и статьи, в которых излагаются различные интуиционистские теории и проблемы конструктивизации неклассических логик (трехзначной логики Д.А.Бочвара, бестиповой логики В.А.Аккермана и др.). Содержание: Д.А.Бочвар. К теории эпсилон-отношений
П.А.Кулунков. Непротиворечивость одного варианта теории множеств с двумя отношениями принадлежности
В.Г.Кановей. О некоторых проблемах дескриптивной теории множеств и определимости в теории типов
В.А.Любецкий, Е.И.Гордон. Булевы расширения равномерных структур
Д.П.Скворцов. Об интуиционистском исчислении высказываний с дополнительной логической связкой
Г.Ф.Шварц. Свойства эффективности логических связок в интуиционистской теории типов
В.X.Хаханян. Теория множеств и тезис Черча
Д.П.Скворцов. О структуре расширений пропозиционального фрагмента логики Аккермана
М.Ф.Радо. О функциональной полноте в модальной логике S5
Р.Ш.Григолия. Свободные S4.3-алгебры с конечным числом образующих
В.Б.Шехтман. О счетной аппроксимируемости суперинтуиционистских и модальных логик
И.С.Негру. Об алгебраических свойствах структуры классов Поста и их многозначных обобщений
В.Н.Гришин. Об одном обобщении системы Айдукевича—Ламбека
О.М.Аншаков. О некоторых конструктивизациях пропозициональных логик Д.А.Бочвара и С.Холдена