Расширенный поиск
Девяткин Л.Ю. Трехзначные семантики для классической логики высказываний [Текст] / Л.Ю. Девяткин; Рос. акад. наук, Ин-т философии. – М. : ИФ РАН, 2011.
Предоставлено Институтом философии РАН
-
Аннотация
-
Содержание
Монография посвящена исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями.
Введение .......................................................................................................................7
Глава I. История вопроса..........................................................................................9
Глава II. Трехзначные логические матрицы
с классическим отношением логического следования.....................................23
2.1. Матрицы с одним выделенным значением ................................................24
2.2. Матрицы с двумя выделенными значениями.............................................41
2.3. О некоторых функциональных свойствах матриц
с классическим отношением логического следования....................................53
Глава 3. Трехзначные логические матрицы с классическим
классом тавтологий и неклассическим отношением
логического следования..........................................................................................63
3.1. Матрицы с одним выделенным значением ................................................63
3.2. Матрицы с двумя выделенными значениями.............................................79
Глава 4. Трехзначные матрицы с не С-расширяющими
базовыми операциями.............................................................................................95
4.1. Матрицы с одним выделенным значением ................................................95
4.2. Матрицы с двумя выделенными значениями...........................................100
Заключение ...............................................................................................................105
Литература ................................................................................................................107
Выделите её и нажмите Ctrl + Enter