Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
В сборнике рассматриваются синтаксические и семантические аспекты неклассических логик, а также некоторые вопросы аксиоматической теории множеств. Сборник содержит материалы по модальным, многозначным логикам и статьи, в которых излагаются различные интуиционистские теории и проблемы конструктивизации неклассических логик (трехзначной логики Д.А.Бочвара, бестиповой логики В.А.Аккермана и др.).
Author(s): Михайлов А.И. (ред.)
Publisher: Наука
Year: 1983
Language: Russian
Commentary: Scanned, DjVu'ed, OCR'ed by Envoy
Pages: 361
City: Москва
Tags: Математика;Математическая логика;Теория множеств;Научные статьи и сборники
Д.А.Бочвар. К теории эпсилон-отношений ......Page 4
П.А.Кулунков. Непротиворечивость одного варианта теории множеств с двумя отношениями принадлежности ......Page 11
В.Г.Кановей. О некоторых проблемах дескриптивной теории множеств и определимости в теории типов ......Page 22
В.А.Любецкий, Е.И.Гордон. Булевы расширения равномерных структур ......Page 83
Д.П.Скворцов. Об интуиционистском исчислении высказываний с дополнительной логической связкой ......Page 155
Г.Ф.Шварц. Свойства эффективности логических связок в интуиционистской теории типов ......Page 174
В.X.Хаханян. Теория множеств и тезис Черча ......Page 199
Д.П.Скворцов. О структуре расширений пропозиционального фрагмента логики Аккермана ......Page 210
М.Ф.Радо. О функциональной полноте в модальной логике S5 ......Page 223
Р.Ш.Григолия. Свободные S4.3-алгебры с конечным числом образующих ......Page 282
В.Б.Шехтман. О счетной аппроксимируемости суперинтуиционистских и модальных логик ......Page 288
И.С.Негру. Об алгебраических свойствах структуры классов Поста и их многозначных обобщений ......Page 301
В.Н.Гришин. Об одном обобщении системы Айдукевича—Ламбека ......Page 316
О.М.Аншаков. О некоторых конструктивизациях пропозициональных логик Д.А.Бочвара и С.Холдена ......Page 336
