В границах трехзначности (Девяткин Л.Ю., Преловский Н.Н., Томова Н.Е.) [2015, Монография, математика, PDF]

Предисловие. Многообразие трехзначности 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