Трехзначные семантики для классической логики высказываний

Трехзначные семантики для классической логики высказываний

444 руб.
Описание

Монография посвящена исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями.

Название книги Трехзначные семантики для классической логики высказываний
Автор Л. Ю. Девяткин
Издательство ИФРАН
Год выпуска 2011
ISBN 978-5-9540-0203-4
Язык книги Русский
Страниц 112