Аксиоматические исчисления для интуиционистских аналогов логик контрфактических кондиционалов

?

Аксиоматические исчисления для интуиционистских аналогов логик контрфактических кондиционалов

С. 20–25.

В статье осуществляется аксиоматизация собственных расширений базовой интуиционистской кондициональной логики IntCK, впервые сформулированной Г.К. Ольховиковым [6]: определяются интуиционистские варианты логик контрфактуалов Д. Льюиса [5], кондициональных логик Дж. Берджесса [1], Дж. Поллока [7], а также ряд более слабых расширений посредством аксиомных схем кондициональной рефлексивности и контрфактического варианта правила modus ponens. Указанные расширения являются сильно полными относительно подходящей биреляционной семантики в стиле К. Сегерберга [8]. Особенность полученных исчислений в сравнении с системами, определенными И. Чиарделли и С. Лью [2], состоит в фиксации явных дедуктивных принципов поведения слабого контрфактуального оператора ◇→, не определяемого в терминах сильного оператора □→ и интуиционистского отрицания.

Язык: русский

Полный текст

Текст на другом сайте

В книге

Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.

М.: Издатель Александр Воробьев, 2025.

Отмеченное субординатное натуральное исчисление для базовой интуиционистской кондициональной логики

Зайцев И. В., Логические исследования 2025 Т. 31 № 2 С. 143–168

В статье осуществляется презентация и построение отмеченного субординатного натурального исчисления 𝓕IntCK для интуиционистской кондициональной логики IntCK, предложенной Г.К. Ольховиковым как интуиционистский вариант минимальной нормальной кондициональной логики Б. Челласа CK и полной относительно интуиционистского прочтения метатеории CK. Система IntCK задает базовые дедуктивные принципы для формализации конструктивных контекстов, допускающих использование двух независимых контрфактических связок – □→ и ◇→. Описываемое в статье натуральное исчисление 𝓕IntCK основывается на технике, задействующей метки ...

Добавлено: 23 ноября 2025 г.

An Axiomatic Characterization of Weighted Congestion Games

Гусев В. В., / NRU HSE. Series WP HSE 1/EC/2025 " ECONOMICS". 2025.

Добавлено: 27 июля 2025 г.

Beta Assertive Graphs: Proofs of Assertions with Quantification

Пиетаринен А. Ю., Bellucci F., Chiffi D., IfCoLoG Journal of Logics and their Applications 2021 Vol. 8 No. 2 P. 353–376

Добавлено: 22 апреля 2021 г.

Calculus and Counterpossibles in Science

Маклун Б. Б., Synthese 2020 P. 1–22

Добавлено: 1 октября 2020 г.

Closed without Boundaries

Дзардини Э., Synthese 2020

Добавлено: 3 ноября 2018 г.

Бисимуляционные игры и локально табличные логики

Шехтман В. Б., Успехи математических наук 2016 Т. 71 № 5 С. 185–186

Приводятся новые результаты о локальной табличности модальных и суперинтуиционистских логик высказываний. Кратко изложена техника бисимуляционных игр, применяемая для доказательства этих результатов. ...

Добавлено: 16 марта 2017 г.

Causal Analysis, History of

Liao T., Inna F. Deviatko, , in: International Encyclopedia of the Social & Behavioral Sciences (Second Edition). Elsevier, 2015.: Elsevier, 2015. P. 247–250.

Добавлено: 20 августа 2015 г.

Ограниченное с-ядро в играх с ограниченной кооперацией

Яновская Е. Б., Математическая теория игр и ее приложения 2014 Т. 6 № 1 С. 100–121

Рассматривается класс кооперативных игр с произвольным набором допустимых коалиций. Для таких игр с-ядро может быть неограниченным. Недавно Грабиш и Зюдхолтер предложили новую концепцию -- ограниченного с-ядра, которое определяется как обхединение всех ограниченных граней с-ядра, если последнее не пусто. Приводятся две аксиоматизации ограниченного с-ядра: для класса всех игр с ограниченной кооперацией с использованием аксиом эффективности, ограниченности, ...

Добавлено: 24 декабря 2014 г.

Пред n-ядра в играх с ограниченной кооперацией

Яновская Е. Б., Математическая теория игр и ее приложения 2011 Т. 3 № 4 С. 23–48

Кооперативной игрой с ограниченной кооперацией называется тройка (N,v,Omega), где N -- конечное множество игроков, Omega -- набор допустимых коалиций, v:Omega -->R - характеристическая функция. Из этого определения следует, что если Omega=2^N, то игра (N,v,Omega)=(N,v) становится классической кооперативной игрой с трансферабельными полезностями (ТП). Рассматривается класс всех игр с ограниченной кооперацией с произвольным ниверсальным} множеством игроков. Пред ...

Добавлено: 20 марта 2014 г.

The extension of Dutta-Ray solution to convex NTU games

Яновская Е. Б., International Game Theory Review 2010 Vol. 12 No. 4 P. 339–362

The most of solutions for games with non-transferable utilities (NTU) are NTU extensions of solution concepts defined for games with transferable utilities (TU). For example, there are three NTU versions of the Shapley value due to Aumann(1985), Kalai--Samet(1977), and Maschler--Owen(1992). The Shapley value is {\it standard} for two-person games. An NTU analog of standard solution ...

Добавлено: 20 марта 2014 г.

The prenucleolus for games with restricted cooperation

Katsev I., Яновская Е. Б., Mathematical Social Sciences 2013 Vol. 66 No. 1 P. 56–65

A game with restricted cooperation is a triple (N,v,Omega), where N is a finite set of players, Omega is a non-empty collection of feasible coalitions such that N belongs to Omega, and v: Omega -> R is a characteristic function. The definition implies that if Omega=2^N, then the game (N,v,Omega)=(N,v) is the classical TU cooperative game. The class of all games with restricted cooperation with an arbitrary universal set of players is considered. The prenucleolus and ...

Добавлено: 19 марта 2014 г.