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

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

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



Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Фундамент. и прикл. матем., 2014, том 19, выпуск 3, страницы 5–22 (Mi fpm1589)  

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

Многосортная логика, модели и логическая геометрия

Е. Аладоваab, А. Гварамияc, Б. Плоткинd, Т. Плоткинb

a Пензенский государственный университет
b Университет имени Бар-Илана, Рамат Ган, Израиль
c Абхазский государственный университет, Сухуми, Абхазия
d Еврейский университет в Иерусалиме, Израиль

Аннотация: Пусть $\Theta$ – многообразие алгебр, $(H,\Psi,f)$ – модель, где $H$ – алгебра из $\Theta$, $\Psi$ – множество символов отношений $\varphi$, $f$ – интерпретация всех $\varphi$ в $H$. Пусть $X^0$ – бесконечное множество переменных, $\Gamma$ – множество всех конечных подмножеств в $X^0$ (множество сортов), $\tilde\Phi$ – многосортная алгебра формул. Эти данные определяют базу знаний $\mathrm{KB}(H,\Psi,f)$. В статье рассматривается понятие изоморфизма баз знаний. Приводятся условия на модели, которые являются достаточными условиями изоморфизма баз знаний. Изучается также вопрос нахождения необходимых и достаточных условий, обеспечивающих изоморфизм баз знаний.

Ключевые слова: многосортная логика, модель, изоморфизм.

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

Англоязычная версия:
Journal of Mathematical Sciences (New York), 2016, 214:6, 742–754

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

Тип публикации: Статья
УДК: 510.6

Образец цитирования: Е. Аладова, А. Гварамия, Б. Плоткин, Т. Плоткин, “Многосортная логика, модели и логическая геометрия”, Фундамент. и прикл. матем., 19:3 (2014), 5–22; J. Math. Sci., 214:6 (2016), 742–754

Цитирование в формате AMSBIB
\RBibitem{AlaGvaPlo14}
\by Е.~Аладова, А.~Гварамия, Б.~Плоткин, Т.~Плоткин
\paper Многосортная логика, модели и логическая геометрия
\jour Фундамент. и прикл. матем.
\yr 2014
\vol 19
\issue 3
\pages 5--22
\mathnet{http://mi.mathnet.ru/fpm1589}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3431877}
\transl
\jour J. Math. Sci.
\yr 2016
\vol 214
\issue 6
\pages 742--754
\crossref{https://doi.org/10.1007/s10958-016-2811-4}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84962295098}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/fpm1589
  • http://mi.mathnet.ru/rus/fpm/v19/i3/p5

    ОТПРАВИТЬ: 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. E. Aladova, A. Gvaramia, B. Plotkin, E. Plotkin, T. Plotkin, “Logically-geometrical similarity for algebras and models with the same identities”, Тр. Ин-та матем., 23:2 (2015), 112–122  mathnet
  • Фундаментальная и прикладная математика
    Просмотров:
    Эта страница:253
    Полный текст:110
    Литература:30
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020