Автор: Девяткин Л.Ю.
Название: Трехзначные семантики для классической логики высказываний
Издательство: М.: ИФ PAH
Год: 2011
Страниц: 108
Формат: djvu
Размер: 14,5 Мб
Язык: Русский
Ни двузначность, ни многозначность не являются прирождёнными свойствами человеческого мышления. Решение одних проблем может быть получено в рамках двузначной логики, рассуждение о других может оказаться более успешным, если опирается на тот или иной вариант многозначной логики. Исследованию свойств трехзначных семантик для классической логики высказываний посвящена эта книга. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями.