1. Главная
  2. Ресурсы
  3. Библиотечный поиск
An Explicit Basis forWCP-GloballyAdmissible InferenceRules : научноеиздание Rimatskii V. V.2023 год

An Explicit Basis for WCP-Globally Admissible Inference Rules : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: An Explicit Basis for WCP-Globally Admissible Inference Rules : научное издание / V. V. Rimatskii. - Текст : непосредственный // Algebra and Logic. - 2023. - Т.62, №2. - P. 148-165. - ISSN 0002-5232. - ISSN 1573-8302, DOI 10.1007/s10469-024-09733-6.
Аннотация: Inference rules are examined which are admissible immediately in all residually finite extensions of S4 possessing the weak cocover property. An explicit basis is found for such WCP-globally admissible rules. In case of tabular logics, the basis is finite, and for residually finite extensions, the independency of an explicit basis is proved.
Год издания: 2023
Авторы: Rimatskii V. V.
Издательство: Springer New York Consultants Bureau, Новосибирск
Источник: Algebra and Logic
Выпуск: Т.62, №2
Номера страниц: 148-165
Держатель оригинала документа: Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

Admissible InferenceRules of ModalWCP-Logics Rimatskiy V.V.2024 год

Admissible Inference Rules of Modal WCP-Logics : научное издание

  • Rimatskiy V.V.
  • 2024 год
Explicit basis foradmissible rules in-saturated tabularlogics Rimatskii V. V.2023 год

Explicit basis for admissible rules in -saturated tabular logics : научное издание

  • Rimatskii V. V.
  • 2023 год
Admissible inferencerules of modalWCP-logics Rimatskiy V. V.2024 год

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

  • Rimatskiy V. V.
  • 2024 год
Criterion of GlobalAdmissibility forLogic IPC Rimatskiy Vitaliy V.2023 год

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

  • Rimatskiy Vitaliy V.
  • 2023 год
An explicit basis forthe admissibleinference rules ofthe modal logicsextending S4.1 AndGrz Rimatskii V.V.2009 год

An explicit basis for the admissible inference rules of the modal logics extending S4.1 And Grz : статья из журнала

  • Rimatskii V.V.
  • 2009 год
An explicit basis foradmissible inferencerules in table modallogics of width 2 Rimatskii V.V.2009 год

An explicit basis for admissible inference rules in table modal logics of width 2 : статья из журнала

  • Rimatskii V.V.
  • 2009 год
Construction of anexplicit basis forrules admissible inmodal system S4 Rybakov V.V.2001 год

Construction of an explicit basis for rules admissible in modal system S4 : статья из журнала

  • Rybakov V.V.
  • 2001 год
An explicit basis forrules admissible inmodal system s4 Rybakov V.V.1999 год

An explicit basis for rules admissible in modal system s4 : статья из журнала

  • Rybakov V.V.
  • 1999 год

Показать ещё

Bases of admissiblerules for K-saturatedlogics Rimatskii V.V.2008 год

Bases of admissible rules for K-saturated logics : статья из журнала

  • Rimatskii V.V.
  • 2008 год
Table admissibleinference rules Rimatskii V.V.2009 год

Table admissible inference rules : статья из журнала

  • Rimatskii V.V.
  • 2009 год
An explicit basis forthe admissibleinference rules inthe Godel-Lob logicGL Fedorishin B.R.2007 год

An explicit basis for the admissible inference rules in the Godel-Lob logic GL : статья из журнала

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

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

  • Римацкий В. В.
  • 2024 год
Linear Temporal LogicLTL: Basis forAdmissible Rules Babenyshev S.Rybakov V.2011 год

Linear Temporal Logic LTL: Basis for Admissible Rules : статья из журнала

  • Babenyshev S. и др.
  • 2011 год
INTERMEDIATE LOGICSPRESERVING ADMISSIBLEINFERENCE RULES OFHEYTING CALCULUS RYBAKOV V.V.1993 год

INTERMEDIATE LOGICS PRESERVING ADMISSIBLE INFERENCE RULES OF HEYTING CALCULUS : статья из журнала

  • RYBAKOV V.V.
  • 1993 год
Глобальнаядопустимость правилвывода в логике GL Римацкий В.В.2025 год

Глобальная допустимость правил вывода в логике GL : статья из журнала

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

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

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