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

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

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


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




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

Алгебра и логика, 2023, том 62, номер 2, страницы 219–246
DOI: https://doi.org/10.33048/alglog.2023.62.204 (Mi al2758) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Явный базис $WCP$-глобально допустимых правил вывода

В. В. Римацкий

Сиб. федерал. ун-т, г. Красноярск, РОССИЯ
PDF полного текста (278 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/alglog.2023.62.204
Аннотация: Исследуются правила вывода, допустимые сразу во всех финитно аппроксимируемых расширениях логики $S4$ со слабым свойством ко-накрытий. Получается явный базис для таких $WCP$-глобально допустимых правил. В случае табличности логик базис конечен, для финитно аппроксимируемых расширений доказывается независимость явного базиса.
Ключевые слова: фрейм Крипке, модель Крипке, допустимое правило вывода, базис допустимых правил.
Финансовая поддержка Номер гранта
Российский научный фонд 23-21-00213
Работа выполнена при финансовой поддержке Российского Научного Фонда, проект №. 23-21-00213.
Поступило: 31.01.2022
Окончательный вариант: 31.01.2024
Англоязычная версия:
Algebra and Logic, 2023, Volume 62, Issue 2, Pages 148–165
DOI: https://doi.org/10.1007/s10469-024-09733-6
Тип публикации: Статья
УДК: 510.643:517.11
Образец цитирования: В. В. Римацкий, “Явный базис $WCP$-глобально допустимых правил вывода”, Алгебра и логика, 62:2 (2023), 219–246; Algebra and Logic, 62:2 (2023), 148–165
Цитирование в формате AMSBIB
\RBibitem{Rim23}
\by В.~В.~Римацкий
\paper Явный базис $WCP$-глобально допустимых правил вывода
\jour Алгебра и логика
\yr 2023
\vol 62
\issue 2
\pages 219--246
\mathnet{http://mi.mathnet.ru/al2758}
\transl
\jour Algebra and Logic
\yr 2023
\vol 62
\issue 2
\pages 148--165
\crossref{https://doi.org/10.1007/s10469-024-09733-6}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2758
  • https://www.mathnet.ru/rus/al/v62/i2/p219
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025