1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Criterion of GlobalAdmissibility forLogic IPC : научноеиздание Rimatskiy Vitaliy V.2023 год

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

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Criterion of Global Admissibility for Logic IPC : научное издание / Vitaliy V. Rimatskiy. - Текст : непосредственный // Журнал Сибирского федерального университета. Серия: Математика и физика. - 2023. - Т.16, №5. - P. 620-627. - ISSN 1997-1397. - ISSN 2313-6022.
Аннотация: We describe globally admissible inference rules for logic IPC
В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPC.
Год издания: 2023
Авторы: Rimatskiy Vitaliy V.
Издательство: Сибирский федеральный университет, Красноярск
Источник: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск: Т.16, №5
Номера страниц: 620-627
Держатель оригинала документа: Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

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

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

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

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

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

  • Римацкий Виталий Валентинович
  • 2025 год
Non-standard Logicand Reliability ofInformation Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2025 год

Non-standard Logic and Reliability of Information : научное издание

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

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

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

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

  • Римацкий Виталий Валентинович
  • 2021 год
NON-UNIFIABILITY INLINEAR TEMPORAL LOGICOF KNOWLEDGE WITHMULTI-AGENT RELATIONS Bashmakov S.I.Kosheleva A.V.Rybakov V.2016 год

NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание

  • Bashmakov S.I. и др.
  • 2016 год
ДОПУСТИМОСТЬ ИУНИФИКАЦИЯ ВМОДАЛЬНЫХ ЛОГИКАХ,БЛИЗКИХ К S4.2 Рыбаков Владимир Владимирович2024 год

ДОПУСТИМОСТЬ И УНИФИКАЦИЯ В МОДАЛЬНЫХ ЛОГИКАХ, БЛИЗКИХ К S4.2 : научное издание

  • Рыбаков Владимир Владимирович
  • 2024 год

Показать ещё

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

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

  • Римацкий Виталий Валентинович
  • 2022 год
Intransitive TemporalMulti-agent Logicwith Agents’Multi-valuations.Decidability Grekovich Konstantin V.Rybakov Vladimir V.Rimatskiy Vitaliy V.2025 год

Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability : научное издание

  • Grekovich Konstantin V. и др.
  • 2025 год
SatisfiabilityProblem in IntervalFP-logic Protsenko Nikita A.Rybakov Vladimir V.Rimatskiy Vitaliy V.2023 год

Satisfiability Problem in Interval FP-logic : научное издание

  • Protsenko Nikita A. и др.
  • 2023 год
Admissible inferencerules of modalWCP-logics Rimatskiy V. V.2024 год

Admissible inference rules of modal WCP-logics : научное издание

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

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

  • Римацкий В. В.
  • 2024 год
Formulas ExpressingTotally NonstableTruth Values ofFormulas Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2023 год

Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание

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

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

  • Римацкий В. В.
  • 2023 год
An Explicit Basis forWCP-GloballyAdmissible InferenceRules Rimatskii V. V.2023 год

An Explicit Basis for WCP-Globally Admissible Inference Rules : научное издание

  • Rimatskii V. V.
  • 2023 год