05
апр
2019

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

Год издания: 2015
Автор: Девяткин Л.Ю., Преловский Н.Н., Томова Н.Е.
Жанр или тематика: Монография, математика
Издательство: ИФ РАН
ISBN: 978-5-9540-0296-6
Язык: Русский
Формат: PDF
Качество: Издательский макет или текст (eBook)
Количество страниц: 136


Описание:
Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица, чтобы быть изхоморфом для классической логики высказываний; теорема о том, что могут существовать трехзначные замкнутые классы функций, в которых число предполных классов бесконечно; построение новой классификации расширений слабой логики Клини.



Оглавление

Предисловие. Многообразие трехзначности 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
Книги / Книги / Науч. популярная литература
СКАЧАТЬ БЕСПЛАТНО  [1.2 MB]