?
Peirce’s calculi for classical propositional logic
Review of Symbolic Logic. 2020. Vol. 13. No. 3. P. 509–540.
Ma M., Пиетаринен А. Ю.
Ключевые слова: Boolean algebrasequent calculusPeirceConsequencePrimary 03F0306D3003G10algebra of Logicillation
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
Добавлено: 13 мая 2026 г.
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
Novikov R., Сивкин В. Н., Inverse Problems 2026 Vol. 42 No. 4 Article 045009
Добавлено: 11 мая 2026 г.
Hecht M., Hofmann P., Wicaksono D. и др., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30
Добавлено: 11 мая 2026 г.
Белоусов Н. М., Черепанов Л. К., Деркачов С. Э. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 44
Добавлено: 6 мая 2026 г.
Цыганов А. В., Порубов Е. О., Теоретическая и математическая физика 2026 Т. 227 № 2 С. 336–355
Теория тензорных инвариантов обыкновенных дифференциальных уравнений и классификация Картана простых алгебр Ли используется для установления изоморфизма задачи Козлова о движении ферромагнетика в магнитном поле и задачи Шоттки о движении четырехмерного твердого тела. Найдены новые полиномиальные и рациональные бивекторы Пуассона, инвариантные либо относительно пары коммутирующих фазовых потоков, либо относительно одного из пары потоков. ...
Добавлено: 5 мая 2026 г.
Монахова Э. А., Монахов О. Г., Рзаев Э. Р. и др., Прикладная дискретная математика 2026 Т. 71 С. 112–127
В настоящей работе исследовано совместное конструирование топологий семейств оптимальных по диаметру циркулянтных сетей $C(N; \pm 1, \pm s_2)$ и реализуемых для них оптимальных алгоритмов маршрутизации сложности $O(1)$. Предлагаемый алгоритм маршрутизации основан на использовании масштабируемых параметров $L$-образных шаблонов плотной укладки графов на плоскости для семейств оптимальных сетей.
Определены аналитические формулы зависимости этих параметров от диаметра графов семейств ...
Добавлено: 4 мая 2026 г.
Дудаков С. М., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 12 P. 6092–6102
Добавлено: 1 мая 2026 г.
Моисеева А. Ю., Философия науки 2019 № 4 (83) С. 147–167
В статье рассматривается понятие факта, а также другие базовые понятия ситуационной семантики, как они даны в версии А. Кратцер. Выявляются преимущества способа их конструирования, используемого Кратцер, перед способом, который использовался Дж. Барвайсом и Дж. Перри. Особое внимание уделяется функциям понятия факта в версии Кратцер в семантике эпистемических установок, а также в теории особого вида следования ...
Добавлено: 19 сентября 2023 г.
Cham: Birkhäuser, 2024.
Добавлено: 31 августа 2023 г.
Springer, 2021.
Книга вклюает в себя работы 16ой международной конференции по Анализу формальных понятий. Книга поделена на 5 секций: теория, правила, методы и приложения, исследование и визуализация ...
Добавлено: 10 июля 2021 г.
Боброва А. С., Эпистемология и философия науки 2020 Т. 57 № 3 С. 176–189
Наконец-то увидела свет первая книга Пирсианы. Пирсиана задумана как новая серия, в которой планируется публиковать многие ранее неопубликованные поздние работы Пирса, а также труды современных исследователей, которые развивают идеи, высказанные американским мыслителем. Издание открывают три тома манускриптов «Логики Будущего». Именно так назвал Пирс свою теорию экзистенциальных графов, то есть диаграмматический логический проект, состоящий из разделов, ...
Добавлено: 19 апреля 2021 г.
Шумилина В. А., / Series HUM "Humanities". 2020.
Добавлено: 15 ноября 2020 г.
Пиетаринен А. Ю., Chiffi D., Contemporary Pragmatism 2020 Vol. 17 No. 2-3 P. 205–227
Добавлено: 28 августа 2020 г.