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

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

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


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




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

Дискретная математика, 2022, том 34, выпуск 1, страницы 126–140
DOI: https://doi.org/10.4213/dm1677 (Mi dm1677) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Явный базис для допустимых правил $K$-насыщенных табличных логик

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

Сибирский Федеральный Университет
PDF полного текста (491 kB) Список цитирования (3)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/dm1677
Аннотация: В статье получен явный конечный базис для допустимых правил $K$-насыщенных табличных логик, расширяющих логику $Grz$.
Ключевые слова: фрейм (модель) Крипке, допустимое правило вывода, базис допустимых правил.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-41-240005
Работа поддержана РФФИ и КРФН (грант 18-41-240005).
Статья поступила: 02.10.2021
Англоязычная версия:
Discrete Mathematics and Applications, 2023, Volume 33, Issue 2, Pages 105–115
DOI: https://doi.org/10.1515/dma-2023-0011
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.643+517.11
Образец цитирования: В. В. Римацкий, “Явный базис для допустимых правил $K$-насыщенных табличных логик”, Дискрет. матем., 34:1 (2022), 126–140; Discrete Math. Appl., 33:2 (2023), 105–115
Цитирование в формате AMSBIB
\RBibitem{Rim22}
\by В.~В.~Римацкий
\paper Явный базис для допустимых правил $K$-насыщенных табличных логик
\jour Дискрет. матем.
\yr 2022
\vol 34
\issue 1
\pages 126--140
\mathnet{http://mi.mathnet.ru/dm1677}
\crossref{https://doi.org/10.4213/dm1677}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4449218}
\transl
\jour Discrete Math. Appl.
\yr 2023
\vol 33
\issue 2
\pages 105--115
\crossref{https://doi.org/10.1515/dma-2023-0011}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/dm1677
  • https://doi.org/10.4213/dm1677
  • https://www.mathnet.ru/rus/dm/v34/i1/p126
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Дискретная математика
    Статистика просмотров:
    Страница аннотации:233
    PDF полного текста:34
    Список литературы:43
    Первая страница:6
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024