Математическая логика
Математика
Статья
  • формат djvu
  • размер 11,93 МБ
  • добавлен 07 февраля 2015 г.
Михайлов А.И. (ред). Исследования по неклассическим логикам и теории множеств
М.: Наука, 1979. — 375 с.
Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
В сборнике анализируются актуальные вопросы современной логики и оснований математики, представляющие интерес для широкого круга ученых в области естественных наук. Авторы рассматривают вопросы теории множеств, интуиционистской логики, модальных и многозначных логик. Сборник подготовлен к публикации сотрудниками Отдела семиотических проблем информатики ВИНИТИ АН СССР.
Содержание :
Кановей В.Г. О дескриптивных формах счётной аксиомы выбора
Левин А.М. Об одной интересной аксиоматической теории
Бочвар Д.А., Фуксон В.И. Оценка разности внешних и внутренних мер
Стоцкий Э.Д. Надстройки обобщенных матричных и условных грамматик
Драгалин А.Г. Алгебраический подход к интуиционистским моделям типа реализуемости
Скворцов Д.П. Два обобщения понятия финитной задачи
Циткин А.И. К вопросу об ошибке в известной работе М.Вайсберга
Эсакиа Л.Л. О многообразии алгебр Гжегорчика
Ермолаева Н.М., Мучник А.А. Предтабличная временная логика
Ермолаева Н.М., Мучник А. А. Функционально замкнутые 4-значные расширения булевой алгебры и соответствующие логики
Гришин В.Н. Теорема Эрбрана для логики без сокращений
Бочвар Д. А., Шокуров В. В. Поведение функционала правдоподобия для «tertium non datur» в некоторых последовательностях логических матриц
Григолия Р.Ш., Финн В.К. Алгебры Бочвара и соответствующие им пропозициональные исчисления
Похожие разделы