Дисциплина: Логика Философия
Жанр: Научная литература
ПРЕДИСЛОВИЕ. МНОГООБРАЗИЕ ТРЕХЗНАЧНОСТИ | 9 |
1. Изоморфы | 10 |
2. Континуальность | 16 |
3. Классификация | 22 |
Литература | 30 |
ГЛАВА 1. ТРЕХЗНАЧНЫЕ МАТРИЦЫ ДЛЯ КЛАССИЧЕСКОЙ ПРОПОЗИЦИОНАЛЬНОЙ ЛОГИКИ | 34 |
1.1. Введение | 4 |
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. Континуальность множества замкнутых классов B3 | 79 |
2.4. Континуальность множества замкнутых классов H3 | 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 |
Отзывы: нет |
© 2001–2022, Издательство «Директ-Медиа» тел.: 8-800-333-68-45 (звонок бесплатный), +7 (495) 258-90-28 manager@directmedia.ru