Труды научно-исследовательского семинара логического центра ИФ РАН

книга

Труды научно-исследовательского семинара логического центра ИФ РАН

Здесь можно купить книгу "Труды научно-исследовательского семинара логического центра ИФ РАН " в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.

Выпуск 16

Форматы: PDF

Издательство: Институт философии РАН

Год: 2002

Место издания: Москва

ISBN: 5-201-02149-2

Страниц: 127

Артикул: 44930

Электронная книга

80 ₽

Купить и скачать

Читать фрагмент

Аннотация

Краткая аннотация книги "Труды научно-исследовательского семинара логического центра ИФ РАН"

Статьи сборника подготовлены на основе докладов, сделанных на семинаре в 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

С книгой "Труды научно-исследовательского семинара логического центра ИФ РАН" читают