Трехзначные семантики для классической логики высказыванийКНИГИ » НАУКА И УЧЕБА
Автор: Девяткин Л.Ю. Название: Трехзначные семантики для классической логики высказываний Издательство: М.: ИФ PAH Год: 2011 Страниц: 108 Формат: djvu Размер: 14,5 Мб Язык: Русский
Принцип многозначности, который лежит в основе многозначной логики, противопоставляется принципу двузначности, лежащему в основе классической логики, согласно которой всякое высказывание является либо истинным, либо ложным, то есть принимает одно из двух возможных истинностных значений — «истинно» и «ложно». Исследованию свойств трехзначных семантик для классической логики высказываний посвящена эта книга. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Элементы математической логики и теории множеств Название: Элементы математической логики и теории множеств Автор: Пензов Ю.Е. Издательство: Саратовский университет Год: 1968 Формат: pdf Страниц:...
S-классификация функций трехзначной логики Название: S-классификация функций трехзначной логики Автор: Марченков С.С. Издательство: М.: Физматлит Год: 2001 (2000) Cтраниц: 80 Формат: pdf...
Элементы математической логики Название: Элементы математической логики Автор: Атяскина Т. В. Издательство: ОГУ Год: 2016 Формат: pdf Страниц: 98 с. Для сайта: Mirknig.su Язык:...
Математическая логика (2017) Название: Математическая логика (2017) Автор: Алябьева В.Г. Издательство: Пермь: Пермский государственный национальный исследовательский университет...
Введение в математическую логику (1959) Название: Введение в математическую логику Автор: Попов А.И. Издательство: Ленинград, издательство Ленинградского университета Год: 1959 Формат:...
Развитие многозначной логики Название: Развитие многозначной логики Автор: Карпенко А.С. Издательство: ЛКИ Год: 2010 Формат: pdf Страниц: 444 Размер: 38 Mb Язык: русский В...
Логика высказываний и теория вывода Название: Логика высказываний и теория вывода Автор: Зиновьев А.А. Издательство: URSS Год: 2010 Формат: pdf Страниц: 156 Размер: 16 Mb Язык: русский ...
Навигация
Вход на сайт
Реклама
Трехзначные семантики для классической логики высказываний 
