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

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

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


Bul. Acad. Ştiinţe Repub. Mold. Mat.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2010, номер 2, страницы 59–66 (Mi basm258)  
Research articles

A criterion for parametrical completeness in the 8-valued algebraic model of modal logic $S5$

Vadim Cebotari

Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Chişinău, Moldova
PDF полного текста (170 kB)
Список литературы:
PDF
HTML
Аннотация: The problem of parametrical completeness in the logic of 8-element topological Boolean algebra with trivial open elements is considered. The conditions permitting to determine the parametrical completeness of an arbitrary system of formulas in the mentioned logic are established in terms of 25 parametrical pre-complete classes of formulas.
Ключевые слова и фразы: modal formula, modal logic, parametrical expressibility, parametrical completeness, pre-complete system, Boolean algebra, open element, topological algebra.
Поступила в редакцию: 02.02.2010
Реферативные базы данных:
Тип публикации: Статья
MSC: 03B45
Язык публикации: английский
Образец цитирования: Vadim Cebotari, “A criterion for parametrical completeness in the 8-valued algebraic model of modal logic $S5$”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2010, no. 2, 59–66
Цитирование в формате AMSBIB
\RBibitem{Ceb10}
\by Vadim~Cebotari
\paper A criterion for parametrical completeness in the 8-valued algebraic model of modal logic~$S5$
\jour Bul. Acad. \c Stiin\c te Repub. Mold. Mat.
\yr 2010
\issue 2
\pages 59--66
\mathnet{http://mi.mathnet.ru/basm258}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=2743052}
\zmath{https://zbmath.org/?q=an:1206.03020}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/basm258
  • https://www.mathnet.ru/rus/basm/y2010/i2/p59
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025