Расширенный поиск
Труды научно-исследовательского семинара Логического центра Института философии РАН. – Вып. XVI
2002Труды научно-исследовательского семинара Логического центра Института философии РАН. – Вып. XVI / РАН. Ин-т философии; Отв. ред.: А.С.Карпенко. – М.: ИФ РАН, 2002. – 127 с.
Предоставлено Институтом философии РАН
-
Аннотация
-
Содержание
Труды научно-исследовательского семинара Логического центра Института философии РАН. – Вып. XVI / РАН. Ин-т философии; Отв. ред.: А.С.Карпенко. – М.: ИФ РАН, 2002. – 127 с.
Анисов А.М Неопределенности в классической логике
Быстров П.И. Методы построения табличных вариантов неклассических пропозициональных систем
Васюков В.Л Подструктурные экспоненциальные категории в теории категорий и категорной логике
Дегтярёв Д.Н. Сводим ость модальностей в логиках с новыми временными операторами
Зайцев Д.В. Понятие как релевантная функция
Карпенко А.С. Нерегулярность и «существенная» немонотонность логики Юрьева Y3
Карпенко А .С., Попов В.М. Подструктурные логики, родственные логике И.Е.Орлова
Комендантский В.Е. Метод резолюций в смешанной логике Поста
Ледников Е.Е. О семантике «явного» и «неявного» знания
Павлов СА. Секвенциальная формулировка логики с операторами истинности и ложности
Сидоренко Е.А Язык. Семантика. Логика.
Степанов В.А. Семантика самореферентности: подход динамических систем
Хаханян В.Х. Интуиционистский вариант для NF
Чагров А.В., Чагрова Л.А. О двух видах семантики Крипке для базисной логики А. Виссера
Шалак В.И. Математические методы компьютерного контент-анализа текстов
Выделите её и нажмите Ctrl + Enter