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

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

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



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






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


Алгебра и логика, 2016, том 55, номер 1, страницы 14–36 (Mi al727)  

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

Динамическая мереотопология. III. Единые бесточечные теории пространства и времени типа Уайтхеда. II

Д. Вакарелов

Sofia Univ., Faculty of math. inform., Dep. math. logic appl., Blvd James Bourchier 5, Sofia, BULGARIA

Аннотация: Эта работа вместе с частями I [Алгебра и логика, 53, № 3 (2014), 300–322] и III [Алгебра и логика, 55, № 3] посвящены теории пространства и времени типа Уайтхеда. В ч. I содержится введение в историю вопроса и некоторые результаты статической мереотопологии. Здесь же вводятся понятия динамической модели пространства и стандартной динамической контактной алгебры, основанные на специальном методе моментального снимка. Данная модель имеет явно выраженную структуру времени с явно указанными временными точками, для которых определено отношение предшествования. Стандартная динамическая контактная алгебра содержит несколько пространственно-временных отношений: пространственный контакт, временной контакт, отношение предшествования и некотороые др. Устанавливаются свойства этих отношений, затем в ч. III они будут использоваться как аксиомы для абстрактного определения естественных классов динамических контактных алгебр, что рассматривается как алгебраическая формализация динамической мереотопологии.

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

DOI: https://doi.org/10.17377/alglog.2016.55.102

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

Англоязычная версия:
Algebra and Logic, 2016, 55:1, 9–23

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

Тип публикации: Статья
УДК: 510.65
Поступило: 01.11.2013

Образец цитирования: Д. Вакарелов, “Динамическая мереотопология. III. Единые бесточечные теории пространства и времени типа Уайтхеда. II”, Алгебра и логика, 55:1 (2016), 14–36; Algebra and Logic, 55:1 (2016), 9–23

Цитирование в формате AMSBIB
\RBibitem{Vak16}
\by Д.~Вакарелов
\paper Динамическая мереотопология.~III. Единые бесточечные теории пространства и времени типа Уайтхеда.~II
\jour Алгебра и логика
\yr 2016
\vol 55
\issue 1
\pages 14--36
\mathnet{http://mi.mathnet.ru/al727}
\crossref{https://doi.org/10.17377/alglog.2016.55.102}
\elib{http://elibrary.ru/item.asp?id=26129192}
\transl
\jour Algebra and Logic
\yr 2016
\vol 55
\issue 1
\pages 9--23
\crossref{https://doi.org/10.1007/s10469-016-9372-y}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000377183900002}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84970028933}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al727
  • http://mi.mathnet.ru/rus/al/v55/i1/p14

    ОТПРАВИТЬ: 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. Д. Вакарелов, “Динамическая мереотопология. III. Единые бесточечные теории пространства и времени типа Уайтхеда. III”, Алгебра и логика, 55:3 (2016), 273–299  mathnet  crossref; D. Vakarelov, “Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III”, Algebra and Logic, 55:3 (2016), 181–197  crossref  isi
    2. D. Vakarelov, “Actual existence predicate in mereology and mereotopology”, Rough Sets, IJCRS 2017, v. II, Lecture Notes in Artificial Intelligence, 10314, ed. L. Polkowski, Y. Yao, P. Artiemjew, D. Ciucci, D. Liu, D. Slezak, B. Zielosko, Springler, 2017, 138–157  crossref  isi  scopus
    3. D. Vakarelov, “Mereotopologies with predicates of actual existence and actual contact”, Fundam. Inform., 156:3-4 (2017), 413–432  crossref  mathscinet  zmath  isi  scopus
    4. P. Dimitrov, D. Vakarelov, “Dynamic contact algebras and quantifier-free logics for space and time”, Сиб. электрон. матем. изв., 15 (2018), 1103–1144  mathnet  crossref
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:109
    Полный текст:14
    Литература:16
    Первая стр.:5
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020