Труды научно-исследовательского семинара логического центра ИФ РАН
Выпуск 17
ISBN: 5-9540-0010-7
Страниц: 120
Артикул: 44935
Краткая аннотация книги "Труды научно-исследовательского семинара логического центра ИФ РАН"
Статьи сборника подготовлены на основе докладов, сделанных на семинаре в 2003-2004 годах. Сюда вошли результаты и достижения последних исследований в различных областях логики. Сборник представляет интерес для специалистов в области логики и ее приложений.
Содержание книги "Труды научно-исследовательского семинара логического центра ИФ РАН"
Анисов A. M. Проблема реальности в семантической теории истины
Быстров П. И. Проблемы построения табличных вариантов модальных и релевантных систем
Васюков В. Л. Комбинированная дискурсивная логика Васильева-Яськовского
Драгалина-Чёрная Е. Г. Онтология обобщенной квантификации
Ивлев Ю. В. Логика юридической аргументации
Карпенко А.С. Дуал трехзначной логики Гейтинга
Ледников E. E. Контексты знания и мнения
Павлов С. А. Логический анализ понятия глобализации
Попов В. М., Шуклин Г. Н. Интуиционистски приемлемая параполная логика
Рязанцев Я. В. Базовая операция в трехзначной логике Юрьева
Чагров А. В., Чагрова Л. А. Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А. Виссера
Шалак В. И. Логика гpyпп
Юрьев Д. Н. Выразимость классических операторов min и max посредством операторов логики I, расширенной константой l, и некоторые вопросы их практического применения
Все отзывы о книге Труды научно-исследовательского семинара логического центра ИФ РАН
Отрывок из книги Труды научно-исследовательского семинара логического центра ИФ РАН
логике Гейтинга G 3 является паранепротиворечивая логика D3. Неожиданно оказалось, что подобная логика в обзоре по трехзначным паранепротиворечивым логикам вообще не встречается (см. [8]). Заметим, что из всех известных трехзначных паранепро-тиворечивых логик D3 является с единственным выделенным значением 1. Более того, в отличие от всех паранепротиворечи-вых логик в ней содержится контрпозиция ( А < = В ) < = ( ГВ<= ГА). Но за это приходится платить - эта логика без структурных формул (правил): в ней нет законов утверждения консеквента (утончения), сокращения и перестановки. Таким образом, пара-непротиворечивая логика D3 является логикой без структурных правил. Л и т е р а т у р а 1. Генцен Г Исследование логических выводов // Генцен Г Математическая теория логического вывода. М. 1967. 2. Кварталова Н.Л. Паранепротиворечивость и релевантность (кандидатская диссертация). М.: МГУ, 2004. 3. Расёва К, Сикорский Р. Математика метаматематики. М.: Наука. 1972. 4. Смирнов В.А. Об одной системе паранепротиворечивой логики // Многозначные, релевантные и паранепротиворечивые логики. (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1984. С. 129-133. 5. Blyth Т. S, Janowith М. F. Residuation theory. Oxford: Pergamon Press. 1972. 6. Czermak J. A remark on Gentzen's calculus of sequents // Notre Dame Journal of Formal Logic. Vol. 18. 1977. 7. Goodman N.D. The logic of contradiction // Zeitschrift fur mathematische Logic und Grundlagen der Mathematik. Bd. 27. № 2. 1981. 8. Karpenko A.S. Three-valued paraconsistent logics // Multiple-valued Logic. Vol. 5. 2000. P. 117-123. 9. McKinsey J. С. C, Tarski A. On closure elements in closure algebras // Annals of Mathematics. Vol. 47, № 1. P. 122-162. 1946. 10. Urbas L Dual-intuitionistic logic // Notre Dame Journal of Formal Logic. Vol. 37. № 3. 1996. P. 440-451.
С книгой "Труды научно-исследовательского семинара логического центра ИФ РАН" читают
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Бестселлеры нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Новинки книги нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
и мы свяжемся с вами в течение 15 минут
за оставленную заявку