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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Ольховиков, Григорий Константинович
Заглавие : К новым онтологическим предпосылкам логики действия: анализ языка L0
Серия: Теория познания и логика
Место публикации : Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2009. - N 3 (69). - С.5-17. - ISSN 1817-7174 (Шифр iuro/2009/3). - ISSN 1817-7174
Примечания : Библиогр.: с. 17 (5 назв. )
УДК : 16
ББК : 87.41
Предметные рубрики: Логика
Логический синтаксис и логическая семантика
Ключевые слова (''Своб.индексиров.''): логика действий--системы логики действий--онтология логики действий--философия логики--динамическая логика
Аннотация: В статье рассматриваются принципы новой системы онтологических предпосылок для логики действия, исследуются логический синтаксис и семантика, а также свойства этой системы.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)