Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
В сборнике анализируются актуальные вопросы современной логики и оснований математики, представляющие интерес для широкого круга ученых в области естественных наук. Авторы рассматривают вопросы теории множеств, интуиционистской логики, модальных и многозначных логик. Сборник подготовлен к публикации сотрудниками Отдела семиотических проблем информатики ВИНИТИ АН СССР.
Author(s): Михайлов А.И. (ред.)
Publisher: Наука
Year: 1979
Language: Russian
Commentary: Scanned, DjVu'ed, OCR'ed by Envoy
Pages: 375
City: Москва
Tags: Математика;Математическая логика;Научные статьи и сборники
Кановей В.Г. О дескриптивных формах счётной аксиомы выбора ......Page 4
Левин А.М. Об одной интересной аксиоматической теории ......Page 138
Бочвар Д.А., Фуксон В.И. Оценка разности внешних и внутренних мер ......Page 144
Сопрунов С.Ф. Решетки нестандартных арифметик ......Page 147
Стоцкий Э.Д. Надстройки обобщенных матричных и условных грамматик ......Page 174
Драгалин А.Г. Алгебраический подход к интуиционистским моделям типа реализуемости ......Page 184
Скворцов Д.П. Два обобщения понятия финитной задачи ......Page 202
Циткин А.И. К вопросу об ошибке в известной работе М.Вайсберга ......Page 241
Эсакиа Л.Л. О многообразии алгебр Гржегорчика ......Page 258
Ермолаева Н.М., Мучник А.А. Предтабличная временная логика ......Page 289
Ермолаева Н.М., Мучник А. А. Функционально замкнутые 4-значные расширения булевой алгебры и соответствующие логики ......Page 299
Гришин В.Н. Теорема Эрбрана для логики без сокращений ......Page 317
Бочвар Д. А., Шокуров В. В. Поведение функционала правдоподобия для «tertium non datur» в некоторых последовательностях логических матриц ......Page 331
Григолия Р.Ш., Финн В.К. Алгебры Бочвара и соответствующие им пропозициональные исчисления ......Page 346
