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

Логические исследования. Выпуск 8
Автор
 
Год
 
Страниц
 
320
ISBN
 
5020131156
Издатель
 
Наука
Категория
 
Общая и специальная логистика

Содержание:

Свойства времени, Исчисления частичных предикатов Хао Вана и их расширения, допускающие итерацию импликации, Теория релевантного следования III: комбинаторная семантика ТЕ, Квазиматричная логика - основа теории фактических (физических) модальностей, Подструктурные логики: гильбертовский подход, Неявная определимость в паранепротиворечивых расширениях минимальной логики, Интенсиональная семантика традиционной силлогистики, Исчисления отбрасываемых формул для нетрадиционных систем позитивной силлогистики, К вопросу о непротиворечивости классической формальной арифметики, О формализации неформализуемого, Комбинированные логики В. А. Смирнова и логика ложности, Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент, Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей, К вопросу о природе времени, Теорема дедукции для неклассических исчислений: два подхода, Теорема о полноте для семантики пропозиционального фрагмента одной системы...

Описание:

В восьмом выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной неклассической логики, а также статьи, подготовленные по докладам, прочитанным на секциях "Символическая логика" и "Философская логика" Международной конференции "Третьи Смирновские чтения" (Москва, май 2001). Для логиков, философов, математиков.

Похожие книги

Справочник по высшей математикеСправочник по высшей математике
Автор: М. Я. Выгодский
Год: 1956
Определимость и вычислимостьОпределимость и вычислимость
Автор: Ершов Ю. Л.
Год: 1996
Лекции по вещественному анализуЛекции по вещественному анализу
Автор: Б. М. Макаров, А. Н. Подкорытов
Год: 2011
Планиметрия. Пособие для углубленного изучения математикиПланиметрия. Пособие для углубленного изучения математики
Автор: Бутузов В.Ф., Кадомцев С.Б. и др.
Год: 2005
Вычислимость и логикаВычислимость и логика
Автор: Булос Дж., Джеффри Р. (G.S.Boolos,R.C.Jeffrey)
Год: 1994