Расширенный поиск
Труды научно-исследовательского семинара логического центра ИФ РАН. Вып. XVII
2004Труды научно-исследовательского семинара логического центра ИФ РАН. Вып. XVII / РАН. Ин-т философии; Отв. ред. А.С.Карпенко. М.: ИФ РАН, 2004. 118 с.
Предоставлено Институтом философии РАН
-
Аннотация
-
Содержание
Статьи сборника подготовлены на основе докладов, сделанных на семинаре в 2003-2004 годах. Сюда вошли результаты и достижения последних исследований в различных областях логики. Сборник представляет интерес для специалистов в области логики и ее приложений.
А.М. Анисов Проблема реальности в семaнтической теории истины
Быстров П.И. Проблемы построения табличных вариантов модальных и релевантных систем Васюков В.Л Комбинированная дискурсивная логика Васильева-Яськовского
Драгалина- Чёрная Е.г. Онтология обобщающей квантификации
Ивлев Ю.В. Логика юридической аргументации
Карпенко А. С. Дуал трехзначной логики Гейтинга
Ледников Е.Е. Контексты знания и мнения
Павлов С.А. Логический анализ понятия глобализации
Попов В.М, Шуклин Г.Н. Интуиционистски приемлемая параполная логика
Рязанцев Я.В. Базовая операция в трехзначной логике Юрьева
Чагров А.В., Чагрова Л.А. Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А. Виссера
Шалак В.И Логика групп
Юрьев Д.Н. Выразимость классических операторов min и mах посредством операторов логики 1з. расширенной константой 1, и некоторые вопросы их практического применения
Выделите её и нажмите Ctrl + Enter