?
Computability issues for adaptive logics in multi-consequence standard format
Studia Logica. 2013. Vol. 101. No. 6. P. 1237–1262.
In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.
Иванашев Я. М., , in: 19th Annual Conference, TAMC 2025, Jinan, China, September 19–21, 2025, Proceedings. Theory and Applications of Models of Computation. Lecture Notes in Computer Science (LNCS, volume 16084)Vol. 16084.: Springer, 2026. P. 15–24.
Добавлено: 20 января 2026 г.
Odintsov S., Сперанский С. О., Logic and Logical Philosophy 2012 Vol. 21 No. 3 P. 209–228
The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN-r and CLuN-m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively. ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Archive for Mathematical Logic 2013 Vol. 52 No. 5–6 P. 507–516
We carry out a study of definability issues in the standard models of Presburger and Skolem arithmetics (henceforth referred to simply as Presburger and Skolem arithmetics, for short, because we only deal with these models, not the theories, thus there is no risk of confusion) supplied with free unary predicates — which are strongly related to definability in ...
Добавлено: 27 декабря 2025 г.
Оноприенко А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 № 527 С. 206–216
Мы исследуем кооперативную карточную игру “Ханаби” с точки зрения алгоритмической сложности. Особенность “Ханаби” заключается в том, что игроки видят карты других игроков, но не свои, и об- мениваются информацией путем подсказок. Даже в модели с одним игроком, обладающим полной информацией о колоде, “Ханаби” остается NP-трудной. Найдены минимальные параметры игры, при которых сохраняется NP-трудность. В случае ...
Добавлено: 23 ноября 2025 г.
Мельман А. С., Джанашиа К. М., Евсютин О. О., Computer Standards and Interfaces 2026 Vol. 96 Article 104066
Добавлено: 3 сентября 2025 г.
Given a graph, the (induced) P_k-partition problem is to decide whether its vertex set can be partitioned into subsets, each of which induces (the k-path) a k-vertex subgraph with a Hamiltonian path. We show that these problems are NP-complete for planar subcubic bipartite (H_1,H_2,...,H_ℓ)-free graphs of girth g, for any k,g≥3,l≥1, where Hi is obtained ...
Добавлено: 3 мая 2025 г.
Торопкина В.А., В кн.: Научное наследие Б.Н. Головина в свете актуальных проблем современного языкознания (к 100-летию со дня рождения Б.Н. Головина): Сборник статей по материалам Международной научной конференции.: Н. Новгород: Деком, 2016. С. 370–374.
Рассматриваются понятия оценочности и экспрессивности современного медиатекста, характеризуется специфика словообразовательных неологизмов как средства
экспрессивизации медиатекста. Анализируются особенности выражения экспрессивнооценочного значения новообразованиями разных типов в рамках медиа-политического
дискурса. ...
Добавлено: 30 сентября 2020 г.
Торопкина В.А., Рацибурская Л. В., Вестник Балтийского федерального университета им. И. Канта. Серия: Филология, педагогика, психология (Российская Федерация) 2019 № 2 С. 41–51
Рассмотрены активные процессы медийного словотворчества в российских СМИ как отражение глобальных тенденций в современной коммуникации. Проведены структурно-семантический анализ словообразовательных инноваций различной структуры для выявления наиболее продуктивных в свете заявленных тенденций моделей и формантов, а также прагматический анализ для определения роли новообразований в медийном тексте. Выявлены характерные для современного медиадискурса явления: вовлечение иностилевых элементов (словообразовательных моделей ...
Добавлено: 29 сентября 2020 г.
Петрова Е. С., Землянухина И. В., Евразийское Научное Объединение 2019 № 4-5 (50) С. 296–299
Статья посвящена специфике перевода научно-популярного кинотекста с английского языка на русский. Материалом для анализа выступает документальный научно-популярный телесериал производства Discovery. Авторами рассматривается проблема передачи экспрессивности в переводном тексте, предназначенном для озвучивания. Выявляются типы трансформаций, способствующих и препятствующих передаче экспрессивности. ...
Добавлено: 22 октября 2019 г.
Зирко А. В., Человек 2019 № 2 С. 114–129
Представлены краткая история возникновения и развития вокальных практик в психотерапии, а также авторская модель типов вокализаций в процессе вокалотерапии. Данная модель выступает основанием эмпирического исследования процессов самовыражения и самоис- следования человека с помощью звуков голоса (вокализаций). Участники исследования были разделены на две группы. В одной группе они вокализировали в ситуации безоценочного принятия (группа экспрессии), в ...
Добавлено: 29 августа 2019 г.
Крылов А. Ю., Восток. Афро-Азиатские общества: история и современность. Россия 2017
В статье рассматриваются некоторые металогические приёмы, используемые в современной арабской ораторской речи и оказывающие эффективное экспрессивно-эмоциональное воздействие на реципиента. Даётся описание ряда средств языковой выразительности, посредством которых реализуется эмотивная функция языка. ...
Добавлено: 29 августа 2017 г.
Крылов А. Ю., Россия. ВOСТОК (ORIENS). Афро-азиатские общества: история и современность 2017
В статье рассматриваются некоторые металогические приёмы, используемые в современной арабской ораторской речи и оказывающие эффективное экспрессивно-эмоциональное воздействие на реципиента. Даётся описание ряда средств языковой выразительности, посредством которых реализуется эмотивная функция языка. ...
Добавлено: 29 августа 2017 г.
Терентьева Е. В., Ефимова А. А., Историческая и социально-образовательная мысль 2017 Т. 9 № 1 С. 164–170
Статья написана в рамках более широкого исследования, посвященного комплексному изучению адъективной лексики интенсифицирующего характера, целью которого является анализ механизма интенсификации прилагательных и выявление потенциальной возможности проявления количественной определенности у всего класса адъективной лексики. Данная статья является попыткой рассмотреть и описать случаи употребления прилагательных, не содержащих в своем значении семы интенсивности, но способных в речи приобретать ...
Добавлено: 30 мая 2017 г.