Авторизация
Фамилия
Пароль
 

Базы данных


База библиотеки "Дом А.Ф. Лосева"- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>A=Девяткин, Леонид Юрьевич@<.>
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
   16
   Д 25


    Девяткин, Леонид Юрьевич.
    Трехзначные семантики для классической логики высказываний [Текст] / Л. Ю. Девяткин ; Рос. акад. наук, Ин-т философии = Three-valued semantics for the classical propositional logic / Leonid Devyatkin. - Москва : ИФ РАН, 2011. - 107, [1] с. ; 21 см. - Библиогр. в конце кн. - 500 экз.. - ISBN 978-5-9540-0203-4
УДК
Рубрики: Логика
Аннотация: Монография посвящается исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Институт философии (Москва)
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

2.
   16
   Д 25


    Девяткин, Леонид Юрьевич.
    В границах трехзначности [Текст] / Л.Ю. Девяткин, Н.Н. Преловский, Н.Е. Томова ; Рос. акад. наук, Ин-т философии. - Москва : Институт философии РАН, 2015. - 134, [1] с. ; 20 см. - Парал. тит. л. англ. - Рез. и огл. англ. - Библиогр.: с. 72-74, 95-96, 125-127. - Имен. указ.: с. 131-132. - Предм. указ.: в конце кн. - 500 экз.. - ISBN 978-5-9540-0296-6
УДК
Рубрики: Логика
Аннотация: Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица, чтобы быть изоморфом для классической логики высказываний; теорема о том, что могут существовать трехзначные замкнутые классы функций, в которых число предполных классов бесконечно; построение новой классификации расширений слабой логики Клини.

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Преловский, Николай Николаевич; Томова, Наталья Евгеньевна
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

3.
   16
   Д 25


    Девяткин, Леонид Юрьевич.
    Многозначные расширения классической логики выскаываний [Текст] / Леонид Девяткин ; Федер. гос. бюджет. учреждение науки Ин-т философии Рос. акад. наук. - Москва : Институт философии РАН, 2018. - 94, [1] с. : табл. ; 20 см. - Рез. англ. - Библиогр.: с. 84-93. - 500 экз.. - ISBN 978-5-9540-0340-6
УДК
Рубрики: Высказывания (лог.)
   Логика

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

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Институт философии (Москва)
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

 
Статистика
за 20.05.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)