Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск XVI

Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск XVI
Название: Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск XVI
Автор: Коллектив авторов
Издательство: М.: ИФРАН
ISBN 5-201-02149-2
Год: 2002
Страниц: 127
Формат: DjVu
Размер: 2,84 Мб
Качество: отличное (отсканированные страницы, OCR, содержание)
Язык: Русский
 



Статьи сборника подготовлены на основе докладов, сделанных на семинаре в 2001-2002 годах. В этот выпуск вошли результаты и достижения последних исследований в различных областях неклассических логик. Сборник представляет интерес для специалистов в области логики и ее приложений.

СОДЕРЖАНИЕ 

Неопределенности в классической логике
Методы построения табличных вариантов неклассических пропозициональных систем
Подструктурные экспоненциальные категории в теории категорий и категорной логике
Сводимость модальностей в логиках с новыми временными операторами
Понятие как релевантная функция
Нерегулярность и «существенная» немонотонность логики Юрьева Y3
Подструктурные логики, родственные логике И.Е.Орлова
Метод резолюций в смешанной логике Поста
О семантике «явного» и «неявного» знания
Секвенциальная формулировка логики с операторами истинности и ложности
Язык. Семантика. Логика
Семантика самореферентности: подход динамических систем
Интуиционистский вариант для NF
О двух видах семантики Крипке для базисной логики А.Виссера
Математические методы компьютерного контентанализа текстов

Вы уверены, что ссылка нерабочая?

Рекомендуем прочитать