В границах трехзначности

Автор(ы)

Девяткин Л.Ю, Преловский Н.Н, Томова Н.Е

Год

2015

Издательство

ИФ РАН

Язык

rus

ISBN

978-5-95400296-6

Библиографическая ссылка

М. : ИФ РАН, 2015. — 136 с.

Аннотация

В границах трехзначности Год издания : 2015 Автор : Девяткин Леонид Юрьевич, Преловский Николай Николаевич, Томова Наталья Евгеньевна Жанр или тематика : Монография Издательство : ИФ РАН ISBN : 978-5-9540-0296-6 Язык : Русский Формат : PDF Качество : Издательский макет или текст (eBook) Интерактивное оглавление : Да Описание : Девяткин, Л.Ю. В границах трехзначности [Текст] / Рос. акад. Наук, Ин-т филос.; А.С. Карпенко (Предисловие) ; Л.Ю. Девяткин, Н.Н. Преловский ; Н.Е. Томова. – М.: ИФ РАН, 2015. – 136 с.; 20 см.; Библиогр.: с. 30–32, 72–74, 95–96, 125–127. – Имен. указ.: c. 131–132. – Предм. указ.: с. 133–135. – 500 экз. – ISBN 978-5-9540-0296-6. Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица, чтобы быть изхоморфом для классической логики высказываний; теорема о том, что могут существовать трехзначные замкнутые классы функций, в которых число предполных классов бесконечно; построение новой классификации расширений слабой логики Клини. Примеры страниц Оглавление Код: Предисловие. Многообразие трехзначности 9 1. Изоморфы 10 2. Континуальность 16 3. Классификация 22 Литература 30 Глава 1. Трехзначные матрицы для классической пропозициональной логики 34 1.1. Введение 34 1.2. Базовые определения 35 1.3. Классическая пропозициональная логика: трехзначные обобщения 38 1.4. Матрицы для произвольного пропозиционального языка и классическое отношение следования 44 1.5. Максимальные классы трехзначных классических функций 54 1.6. Минимальные классы классических функций 63 Литература 72 Глава 2. Континуальность некоторых слабых трехзначных логик и проблема мощности множеств предполных классов 75 2.1. Введение 75 2.2. Базовые определения 76 2.3. Континуальность множества замкнутых классов B 3 75 79 2.4. Континуальность множества замкнутых классов H 3 87 2.5. О мощности множества предполных классов для произвольного замкнутого класса функций 89 Литература 95 Глава 3. О расширении класса естественных трехзначных логик: новая классификация 97 3.1. Введение 97 3.2. Базовые определения 98 3.3. Определение естественной импликации: ослабление условия нормальности 100 3.4. Расширенный класс естественных импликаций 104 3.5. Расширенный класс естественных импликаций и базовые логики 116 3.6. Заключение 123 Литература 125 Приложение. Трехзначные естественные импликации: таблицы истинности 127 Именной указатель 131 Предметный указатель 133 Доп. информация : Издательский макет с внедренными релизером обложкой, оглавлением и метаданными.