Труды научно-исследовательского семинара логического центра ИФ РАН
Выпуск 16
ISBN: 5-201-02149-2
Страниц: 127
Артикул: 44930
Краткая аннотация книги "Труды научно-исследовательского семинара логического центра ИФ РАН"
Статьи сборника подготовлены на основе докладов, сделанных на семинаре в 2001-2002 годах. В этот выпуск вошли результаты и достижения последних исследований в различных областях неклассических логик. Сборник представляет интерес для специалистов в области логики и ее приложений.
Содержание книги "Труды научно-исследовательского семинара логического центра ИФ РАН"
Анисов A.M. Неопределенности в классической логике
Быстров П.И. Методы построения табличных вариантов неклассических пропозициональных систем
Васюков В.Л. Подструктурные экспоненциальные категории в теории категорий и категорной логике
Дегтярёв Д.Н. Сводимость модальностей в логиках с новыми временными операторами
Зайцев Д.В. Понятие как релевантная функция
Карпенко А.С. Нерегулярность и «существенная» немонотонность логики Юрьева Y
Карпенко И.А., Попов В.М. Подструктурные логики, родственные логике И.Е. Орлова
Комендантский В.Е. Метод резолюций в смешанной логике Поста
Ледников Е.Е. О семантике «явного» и «неявного» знания
Павлов С.A. Секвенциальная формулировка логики с операторами истинности и ложности
Сидоренко E.A. Язык. Семантика. Логика
Степанов В.А. Семантика самореферентности: подход динамических систем
Хаханян В.Х. Интуиционистский вариант для NF
Чагров А.В., Чагрова Л.А. О двух видах семантики Крипке для базисной логики А.Виссера
Шалак В.И. Математические методы компьютерного контент-анализа текстов
Все отзывы о книге Труды научно-исследовательского семинара логического центра ИФ РАН
Отрывок из книги Труды научно-исследовательского семинара логического центра ИФ РАН
у V (~х v у) 0 0 0 у V (~х v у) 1 1 1 X v (х v - у ) X v (х v - у ) 0 0 0 1 1 1 у v (х v - у ) 0 V2 1 у v (х v - у ) 1 !/2 о Поскольку все возможные случаи перечислены, то последующие добавления не дают ничего нового. Операция & не меняет положения дел, поскольку сохраняет 0 и 1, когда 0 & 0 и 1 & 1, соответственно, а в остальных случаях дает V2. Следствие 1. Не существование нормальных бинарных операций в Y3 говорит о том, что Y3 не является решеточной {квази-реше-точной, т.е. без законов поглощения) логикой. Следствие 2. Логика Y3 не содержит регулярных операций Клини (см. [4, § 64]). Регулярные операции задаются регулярными таблицами в следующем смысле: данный столбец (строка) содержит 1 в строке (столбце) для V2 только при условии, что этот столбец (эта строка) состоит целиком из 1; аналогично для 0. Заметим, что необходимым условием быть регулярной операцией2 является опять же свойство нормальности. Обратим внимание, что решеточные (квази-решеточные) и регулярные операции являются монотонными операциями. Операция Д хь х2, хк) называется монотонной относительно <, если для любых наборов значений а и р таких, что а < р , имеет место соотношение Операции & и v логики Y3 являются нерегулярными, но монотонными. Для того, чтобы операция-Д*!,-х2, хк) не была монотонной, необходимо и достаточно, чтобы существовала пара наборов а и Р, причем а < р , для которой Впервые рассмотрение всех регулярных операций в трехзначной логике представлено в дипломной работе К.Лукьяновской [5]. Д а ) ^ЛЭ). Л а ) > Я р ) . 56
С книгой "Труды научно-исследовательского семинара логического центра ИФ РАН" читают
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Бестселлеры нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Новинки книги нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
и мы свяжемся с вами в течение 15 минут
за оставленную заявку