RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Зап. научн. сем. ПОМИ, 2008, том 358, страницы 130–152 (Mi znsl2149)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Нечеткая конструктивная логика

И. Д. Заславский

Институт проблем информатики и автоматизации НАН Армении

Аннотация: Вводится логическая система, в которой принципы нечеткой логики трактуются с точки зрения конструктивного подхода. Рассматривается язык предикатных формул без функциональных символов и предметных констант. Вводится понятие предикатной формулы, тождественно истинной в рассматриваемой логике; даются два варианта этого понятия. Доказываются теоремы, касающиеся тождественной истинности некоторых предикатных формул. Устанавливаются определенные связи между введенной логикой и конструктивным (интуиционистским) исчислением предикатов. Библ. – 40 назв.

Полный текст: PDF файл (275 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Journal of Mathematical Sciences (New York), 2009, 158:5, 677–688

Реферативные базы данных:

УДК: 510.64+510.25
Поступило: 22.07.2007

Образец цитирования: И. Д. Заславский, “Нечеткая конструктивная логика”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 130–152; J. Math. Sci. (N. Y.), 158:5 (2009), 677–688

Цитирование в формате AMSBIB
\RBibitem{Zas08}
\by И.~Д.~Заславский
\paper Нечеткая конструктивная логика
\inbook Исследования по конструктивной математике и математической логике.~XI
\serial Зап. научн. сем. ПОМИ
\yr 2008
\vol 358
\pages 130--152
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl2149}
\elib{http://elibrary.ru/item.asp?id=13622781}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2009
\vol 158
\issue 5
\pages 677--688
\crossref{https://doi.org/10.1007/s10958-009-9410-6}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-67349255238}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/znsl2149
  • http://mi.mathnet.ru/rus/znsl/v358/p130

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. И. Д. Заславский, “Расширенная нечеткая конструктивная логика”, Исследования по конструктивной математике и математической логике. XII, Посвящается памяти Николая Александровича ШАНИНА, Зап. научн. сем. ПОМИ, 407, ПОМИ, СПб., 2012, 35–76  mathnet  mathscinet; I. D. Zaslavsky, “Extended fuzzy constructive logic”, J. Math. Sci. (N. Y.), 199:1 (2014), 16–35  crossref
  • Записки научных семинаров ПОМИ
    Просмотров:
    Эта страница:284
    Полный текст:131
    Литература:31
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019