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

Базы данных


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

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


    Ковкель, Н. Ф. (кандидат юридических наук; доцент).
    Логическая структура нормативных правовых предписаний законодательства [Текст] / Н. Ф. Ковкель // Вестник Белорусского государственного экономического университета. - 2013. - № 2. - С. 59-66. - Библиогр.: с. 65-66 (14 назв. ) . - ISSN 1026-3578
УДК
^a340.1
^a16
ББК 67.0 + 87.42
Рубрики: Право
   Общая теория права
   Логика
   Логические формы и законы--Беларусь
Кл.слова (ненормированные):
белорусское законодательство -- деонтическая логика -- законодательство -- логика высказываний -- логика предикатов -- логическая структура -- логическая теория взаимодействия -- нормативные правовые предписания -- структура правовых предписаний -- человеческое взаимодействие
Аннотация: В статье посредством использования аппаратов логики высказываний, логики предикатов, деонтической логики и логической теории человеческого взаимодействия определяются структуры нормативных правовых предписаний белорусского законодательства.

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

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


    Шангин, Василий Олегович (кандидат философских наук; ассистент).
    Параполное модельное множество [Текст] / В. О. Шангин // Вестник Московского университета. Сер. 7, Философия. - 2013. - № 4. - С. 80-87. - Библиогр.: с. 87 . - ISSN 0201-7385
УДК
^a16
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
Хинтикки множество -- логика высказываний -- множество Хинтикки -- модельное множество -- паралогика -- параполная логика -- параполное множество -- семантика -- теория моделей
Аннотация: Построено оригинальное модельное множество для параполной логики, которое является обобщением модельного множества для классической логики высказываний.

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

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


    Кислов, Алексей Геннадьевич (кандидат философских наук).
    Семантика позволенного: шероховатости деонтического ландшафта [Текст] / А. Г. Кислов // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2013. - № 5 (122). - С. 128-142. - Библиогр.: с. 141-142 (29 назв.). - Статья является докладом, представленным на конференции "Стыки модерности: постсоциалистические институты, субъективности и дискурсы в сравнительной перспективе", прошедшей в Екатеринбурге в 2013 г. . - ISSN 2227-2291
УДК
^a16
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
деонтическая логика -- деонтические операторы -- динамическая логика -- доклады -- конференции -- логика высказываний -- логическая семантика -- строгие операторы
Аннотация: Стандартная семантика деонтической логики, выполненная на основе динамической логики высказываний, дополняется "строгими" операторами.

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

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