1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2008 г. Том 1. № 1
×

Предупреждение

Страница доступна только для читателей библиотеки. Записаться в библиотеку может любой человек старше 14 лет, имеющий гражданство РФ или дружественной страны.

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

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (Р 510)
Библиографическое описание: Римацкий, В. В. Явный базис допустимых правил вывода логик конечной ширины = An Explicit Basis for Admissible Rules of Modal Logics of Finite Width / В. В. Римацкий. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2008. - Т. 1, № 1. - С. 85-93. - Библиогр.: с. 93 (11 назв.). - ISSN 1997-1397.
Аннотация: В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую форму.
Год издания: 2008
Авторы: Римацкий В. В.
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 1, № 1
Номера страниц: 85-93
Количество экземпляров:

Всего свободно 2 из 2 экземпляров.

  • Читальный зал Б307 (пр. Свободный, 79, к. Б3-07): свободно 1 из 1 экземпляров
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

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

Criterion of Global Admissibility for Logic IPC : статья из журнала

  • Rimatskiy Vitaliy
  • 2023 год

Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK : статья из журнала

  • Bashmakov Stepan
  • 2016 год

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

  • Лукина О. В. и др.
  • 2006 год

Реконфигурируемый параллельный умножитель в конечных полях Галуа на комбинационной логике : статья из журнала

  • Зубов Т. А. и др.
  • 2019 год

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" : статья из журнала

  • Rimatsky Vitaliy и др.
  • 2024 год

Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality : статья из журнала

  • Bashmakov Stepan
  • 2018 год

Non-standard Logic and Reliability of Information : статья из журнала

  • Rybakov Vladimir и др.
  • 2025 год

Interval Multi-agent Logic with Reliability Operator : статья из журнала

  • Kiyatkin Vladimir и др.
  • 2024 год

Показать ещё