СибНСХБ

Вид поиска

Область поиска

Найдено в других БД

Формат представления найденных документов:
библиографическое описание	краткий	полный

Поисковый запрос: (<.>S=ФОРМАЛЬНЫЕ СИСТЕМЫ<.>)

Общее количество найденных документов : 1

РЖ ВИНИТИ 34 (BI38) 96.08-04А3.124

Reyes, Gonzalo E.
Formal systems for modal operators on locales [Text] / Gonzalo E. Reyes, Marek W. Zawadowski // Stud. log. - 1993. - Vol. 52, N 4. - P595-613 . - ISSN 0039-3215
Перевод заглавия: Формальные системы модальных операторов на локалях
Аннотация: Ранее был описан топос-теоретический подход модальности (Reyes G. A. Notre Dam Journal of Formal Logic, 1991, Vol. 32, N3, 359-391), естественно приводящий к модальным операторам на локалях (множествах без точек). Предпринята попытка разработки единой теории такого рода, пригодной для аксиоматизации пропозициональной модальной логики. Проведен анализ полноты и разрешимости получающихся систем. Канада, Dep. of Mathematics, Univ. of Montreal. Библ. 9

ГРНТИ	34.55.21

ВИНИТИ 341.55.21.19.09
Рубрики: МАТЕМАТИЧЕСКИЕ МОДЕЛИ
МОДАЛЬНАЯ ЛОГИКА
ФОРМАЛЬНЫЕ СИСТЕМЫ

Доп.точки доступа:
Zawadowski, Marek W.

"Электронные каталоги и базы данных библиотек СО РАН"

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

rtvarBDview(" результаты поиска","20190607010228","4682442");

Вид поиска