URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Коллектив авторов Логические исследования. Вып.15. 2009г.
Id: 111474
 
462 руб.

Логические исследования. Вып.15. 2009г. Вып.15

2009. 319 с. Твердый переплет. ISBN 978-5-02-036826-2.

 Аннотация

В данный сборник включены наиболее важные результаты, полученные в различных областях логики за последнее время. Основное внимание уделено развитию неклассических логик. Продолжены исследования по истории отечественной логики. Это издание рукописи В.И. Шестакова, утверждающей отечественный приоритет в открытии логической теории релейно-контактных схем. Также впервые издается на русском языке работа М.И. Шейнфинкеля, положившая начало развитию комбинаторной логики. Особый интерес представляет работа Ю.И. Манина об истинности и работа В.И. Шалака об основаниях логики.

Для логиков, философов, математиков и всех, кто интересуется различными приложениями логики.


 Оглавление

A.M. Анисов

Недетерминированная вычислимость: философские основания..................................................... 5

Б.В. Бирюков

К проблеме приоритета в открытии логической теории релейно-контактных схем. Документ из архива Виктора

Ивановича Шестакова....................................... 31

В.Л. Васюков

Внутренняя логика универсальной логики................58

И.А. Горбунов

Независимая базируемость дедуктивных пропозициональных систем.................................. 78

Л.Ю. Девяткин

гг-значные матрицы для классической логики высказываний............................................... 94

Д.В. Зайцев

Интуитивная семантика для релеватного следования............ 106 Е.Ю. Комендантская

Функциональная взаимовыразимость регулярных логик Клини.......................................................116

Е.Е. Ледников

Семантика первопорядковой динамической логики знания...............................................129

B. И. Маркин

Позитивная силлогистика С3+ с константой Счерпываемости.............................................137

Н.Н. Непейвода

Реверсивные конструктивные логики.....................150

C. А. Павлов

Оператор истины для классической сентенциональной логики и ее расширения на область теправильно построенных формул..........................169

В.М. Попов

Некоторые интервалы между простыми паралогиками.. 182 Н.И. Стешенко

Аналитические таблицы для пропозициональной логики Роговского...........................................185

Н.Е. томова

О четырехзначных регулярных логиках..................223

В.Х. Хаханян

Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств................... 229

М. И. Шейнфинкель

О кирпичах математической логики......................232

В.И. Шалак

М. И. Шейнфинкель и комбинаторная логика............247

В.И. Шалак

Логический анализ дефинициальной дедукции...........266

Yu.I. Manin

Truth as value and duty: lessons of mathematics...........284

A. Mutanen

Formal Methodology...................................... 296

 
© URSS 2016.

Информация о Продавце