Criterion of Global Admissibility for Logic IPC

Rimatskiy, Vitaliy V.; Римацкий, Виталий В.

Автор:

Rimatskiy, Vitaliy V.

Римацкий, Виталий В.

Дата:

2023-10

Журнал:

Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics 2023 16 (5)

Аннотация:

We describe globally admissible inference rules for logic IPC

В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPC

Коллекции:

Математика и физика. Mathematics & Physics. 2023 16 (5) [15]

Метаданные:

Показать полную информацию

Показаны похожие ресурсы по названию, автору или тематике.

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

Римацкий, Виталий В.; Vitaly V.Rimatsky (Сибирский федеральный университет. Siberian Federal University, 2008-01)

В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую ...
Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"

Rimatsky, Vitaliy V.; Ganchukova, Olga V.; Римацкий, Виталий В.; Ганчукова, Ольга В. (Journal of Siberian Federal University. Сибирский федеральный университет, 2024-05)

We investigates non-transitive temporal logic with the "tomorrow" operator. In this logic, the operator "necessary" 2 coincides with the operator “possible” 3 (or almost coincides in reflexive case). In addition to the ...
Investigation of the Effect of Air Admission on the Vortex Structure of the Flow in a Tangential Chamber

Platonov, Dmitriy V.; Sentyabov, Andrey V.; Minakov, Andrey V.; Shtork, Sergey I.; Платонов, Дмитрий В.; Сентябов, Андрей В.; Минаков, Андрей В.; Шторк, Сергей И. (Сибирский федеральный университет. Siberian Federal University, 2023-10)

In the work, numerical simulations of a turbulent swirling flow in a model tangential chamber were performed. Depending on the swirl number and water flow discharge, various flow regimes are observed: a column vortex, a ...
Some Remarks and Corrections of Recent Results from the Framework of S-metric Spaces

Fetouci, Nora; Radenovi´, Stojan; Фетуси, Нора; Раденович, Стоян (Journal of Siberian Federal University. Сибирский федеральный университет, 2025-06)

The content of this paper consists of results on Wardowski’s F -contraction within S-metric spaces. Namely, in it we present corrections to some recent results by using only the property F1 of strict increasing of the ...

Criterion of Global Admissibility for Logic IPC

Скачать файл:

EDN:

URI (для ссылок/цитирований):

Автор:

Дата:

Журнал:

Аннотация:

Коллекции:

Метаданные:

Связанные материалы

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

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" ﻿

Investigation of the Effect of Air Admission on the Vortex Structure of the Flow in a Tangential Chamber ﻿

Some Remarks and Corrections of Recent Results from the Framework of S-metric Spaces ﻿

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

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"

Investigation of the Effect of Air Admission on the Vortex Structure of the Flow in a Tangential Chamber

Some Remarks and Corrections of Recent Results from the Framework of S-metric Spaces