Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=пропозициональная логика<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Девяткин, Л. Ю.
    Отношение логического следования и проблема многозначности [Текст] / Л. Ю. Девяткин // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 2. - С. 106-108. - Библиогр. в примеч. - Примеч.: с. 108 . - ISSN 0201-7385. - ISSN 0130-0091
УДК
^a16
ББК 87.42
Рубрики: Логика
   Логические формы и законы
Кл.слова (ненормированные):
логические следования -- многозначная логика -- пропозициональная логика -- классическая логика
Аннотация: Цель статьи - показать, что классы законов классической пропозициональной логики и формул, находящихся в отношении логического следования могут быть описаны средствами многозначной логики с определением логического следования, не сводимого к классическому.


Найти похожие
2.


    Кислов, Алексей Геннадьевич (кандидат философских наук).
    К вопросу о языке логики утверждения событий [Текст] / А. Г. Кислов // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2015. - № 4 (146). - С. 92-99. - Библиогр.: с. 98-99 (28 назв.). - Данная статья послужила основой для сообщения на конференции "uAnalytiCon-2015: объекты и структуры" (Екатеринбург, 2015) . - ISSN 2227-2275
УДК
^a16
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
доклады -- конференции -- логическая семантика -- логические операторы -- операторы утверждения событий -- пропозициональная логика -- семантика событий -- язык логики
Аннотация: Рассматривается вопрос о семантических категориях языков с оператором утверждения событий.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)