1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Явный базис длядопустимых правил$K$-насыщенныхтабличных логик :научное издание Римацкий Виталий Валентинович2022 год

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

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Явный базис для допустимых правил $K$-насыщенных табличных логик : научное издание / В. В. Римацкий. - Текст : непосредственный // Дискретная математика. - 2022. - Т. 34, № 1. - С. 126-140. - ISSN 0234-0860. - ISSN 2305-3143, DOI 10.4213/dm1677.
Аннотация: В статье получен явный конечный базис для допустимых правил $K$-насыщенных табличных логик, расширяющих логику $Grz$.
Год издания: 2022
Авторы: Римацкий Виталий Валентинович
Издательство: Математический институт им. В.А. Стеклова РАН, Российская академия наук, Москва
Источник: Дискретная математика
Выпуск: Т. 34, № 1
Номера страниц: 126-140
Держатель оригинала документа: Сибирский федеральный университет
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Явный базисWCP-глобальнодопустимых правилвывода Римацкий В. В.2023 год

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

  • Римацкий В. В.
  • 2023 год
Явный базис длядопустимых правилK-насыщенныхтабличных логик Римацкий В. В.2022 год

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

  • Римацкий В. В.
  • 2022 год
Разрешимостьглобальнойдопустимости правилвывода в логике S4 Римацкий Виталий Валентинович2025 год

Разрешимость глобальной допустимости правил вывода в логике S4 : научное издание

  • Римацкий Виталий Валентинович
  • 2025 год
Допустимые правилавывода исемантическиесвойства модальныхлогик Римацкий Виталий Валентинович2021 год

Допустимые правила вывода и семантические свойства модальных логик : научное издание

  • Римацкий Виталий Валентинович
  • 2021 год
НЕЗАВИСИМЫЙ БАЗИСДОПУСТИМЫХ ПРАВИЛВЫВОДА ПРЕДТАБЛИЧНЫХЛОГИК И ИХ РАСШИРЕНИЙ Римацкий Виталий ВалентиновичКияткин Владимир Ростиславович2013 год

НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ : статья из журнала

  • Римацкий Виталий Валентинович и др.
  • 2013 год
Базис глобальнодопустимых правиллогики S4 Римацкий Виталий Валентинович2024 год

Базис глобально допустимых правил логики S4 : статья из журнала

  • Римацкий Виталий Валентинович
  • 2024 год
Базис глобальнодопустимых правиллогики S4 Римацкий В. В.2024 год

Базис глобально допустимых правил логики S4 : научное издание

  • Римацкий В. В.
  • 2024 год
Допустимые правилавывода модальныхWCP-логик Римацкий Виталий Валентинович2024 год

Допустимые правила вывода модальных WCP-логик : статья из журнала

  • Римацкий Виталий Валентинович
  • 2024 год

Показать ещё

Глобально допустимыеправила вывода Римацкий Виталий Валентинович2022 год

Глобально допустимые правила вывода : научное издание

  • Римацкий Виталий Валентинович
  • 2022 год
Явный базисдопустимых правилвывода логик конечнойширины Римацкий Виталий В.2008 год

Явный базис допустимых правил вывода логик конечной ширины : научное издание

  • Римацкий Виталий В.
  • 2008 год
Допустимые правилавывода модальныхWCP-логик Римацкий В. В.2024 год

Допустимые правила вывода модальных WCP-логик : научное издание

  • Римацкий В. В.
  • 2024 год
Явный базисдопустимых правилвывода модальныхлогик, расширяющихS4.1, Grz Римацкий Виталий Валентинович2009 год

Явный базис допустимых правил вывода модальных логик, расширяющих S4.1, Grz : научное издание

  • Римацкий Виталий Валентинович
  • 2009 год

Явный базис допустимых правил вывода логик конечной ширины : статья из журнала

  • Римацкий В. В.
  • 2008 год
Базисы допустимыхправил K-насыщенныхлогик Римацкий Виталий Валентинович2008 год

Базисы допустимых правил K-насыщенных логик : научное издание

  • Римацкий Виталий Валентинович
  • 2008 год
Criterion of GlobalAdmissibility forLogic IPC Rimatskiy Vitaliy V.2023 год

Criterion of Global Admissibility for Logic IPC : научное издание

  • Rimatskiy Vitaliy V.
  • 2023 год
Допустимые правилавывода исемантическиесвойства модальныхлогик Римацкий Виталий Валентинович2021 год

Допустимые правила вывода и семантические свойства модальных логик : статья из журнала

  • Римацкий Виталий Валентинович
  • 2021 год