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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Ольховиков, Григорий Константинович (канд. философ. наук)
Заглавие : К вопросу о возможности редукции состояний дел к действиям: анализ логик LO и LI
Серия: Логика
Разночтения заглавия :: Язык LO: Семантика: Выразительные возможности LO: Аксиоматизация: LO и динамическая логика: Язык LI: Редукция к динамической логике
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2009. - N 5. - С.53-67. - ISSN 1995-0055 (Шифр mfls/2009/5). - ISSN 1995-0055
Примечания : Библиогр.: с. 67 (2 назв. )
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): логика действия--динамическая логика--возможные миры (логика)--lo--li
Аннотация: Рассмотрены ранее не изучавшиеся логики действия - LO и LI, их выразительные возможности и погружения в динамическую логику.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Ольховиков, Григорий Константинович (канд. философ. наук)
Заглавие : К вопросу о возможности редукции состояний дел к действиям: анализ логик LO и LI
Серия: Логика
Разночтения заглавия :: Язык LO: Семантика: Выразительные возможности LO: Аксиоматизация: LO и динамическая логика: Язык LI: Редукция к динамической логике
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2009. - N 5. - С.53-67. - ISSN 1995-0055. - ISSN 1995-0055
Примечания : Библиогр.: с. 67 (2 назв. )
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): логика действия--динамическая логика--возможные миры (логика)--lo--li
Аннотация: Рассмотрены ранее не изучавшиеся логики действия - LO и LI, их выразительные возможности и погружения в динамическую логику.
Найти похожие
3.

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