• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Peirce’s calculi for classical propositional logic
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
25 сентября 2026 г.
«Климатический переход - это необязательно ограничение для бизнеса»
Линара Хадимуллина работает в сфере низкоуглеродного развития. В интервью проекту «Молодые ученые Вышки» она рассказала, почему природа для нее не просто красивый фон, зачем исследовать роль устойчивого корпоративного управления в снижении выбросов парниковых газов и как выращивание урожая становится источником вдохновения.
25 сентября 2026 г.
Окно в организм: российские ученые создали нейросеть, которая определяет риск заболеваний по глазам
Российские университеты с участием НИУ ВШЭ, Сбер и концерн ИИ Z-union разработали нейросеть, которая по фотографии сетчатки может одновременно оценивать риск 15 видов патологий, включая не только глазные болезни, но и сердечно-сосудистые заболевания. ИИ-система помогает врачу заметить тревожные изменения на ранней стадии, признаки, которые отражаются на состоянии сосудов сетчатки, и понять, нужно ли человеку пройти дополнительное обследование. Работа опубликована в журнале Frontiers in Medicine.
23 сентября 2026 г.
В НИУ ВШЭ испытали робота с ИИ для распознавания окружающей среды
Инженеры и исследователи Института робототехнических систем НИУ ВШЭ провели первые испытания нейросетевой модели для распознавания среды непосредственно на роботе-собаке. Робот передвигался по зданию НИУ ВШЭ на Покровке, а также по Покровскому бульвару, анализируя окружающую обстановку и определяя, в какой сцене и локации он находится.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Peirce’s calculi for classical propositional logic

Review of Symbolic Logic. 2020. Vol. 13. No. 3. P. 509–540.
Ma M., Пиетаринен А. Ю.
Научное направление: Математика
Язык: английский
DOI
Ключевые слова: Boolean algebrasequent calculusPeirceConsequencePrimary 03F0306D3003G10algebra of Logicillation
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Формальная эпистемология, логика и прагматика агентности в рациональных интеракция (2018)
Похожие публикации
Hamiltonian Sets of Polygonal Paths in Assembly Graphs
Guterman A., Jonoska N., Kreines E. и др., Proceedings of the Edinburgh Mathematical Society 2026 Vol. 69 No. 3 P. 1041–1057
Добавлено: 27 сентября 2026 г.
О приложениях обобщённого потенциала Бесселя к решению сингулярного уравнения Шрёдингера дробного порядка и теории ёмкости
Шишкина Э. Л., Современная математика. Фундаментальные направления 2026 Т. 72 № 1 С. 52–67
В статье на основе обобщённого потенциала Бесселя строится весовое пространство Соболева дробного порядка. Полученные результаты применяются для анализа сингулярного уравнения Шрёдингера дробного порядка. Для решения задачи Коши для этого уравнения доказана оценка, связывающая норму решения с нормой начального условия в весовом пространстве Соболева. Остальная часть статьи посвящена вопросам теории ёмкости, построенной на основе обобщённого потенциала Бесселя. ...
Добавлено: 26 сентября 2026 г.
A Semigroup Approach for Constructing the Fractional Power of the Laplace–Bessel Operator
Шишкина Э. Л., Computational Mathematics and Mathematical Physics 2026 Vol. 66 No. 5 P. 804–815
Добавлено: 26 сентября 2026 г.
Matrix Approach To The Fractional Calculus
Колокольцов В. Н., Шишкина Э. Л., Journal of Theoretical Probability 2026 P. 39–83
Добавлено: 26 сентября 2026 г.
AN ANALOGUE OF ROGERS’ THEOREM ON SIEVING IN COMMUTATIVE RINGS
Petr Kucheriaviy, Bulletin of the Australian Mathematical Society 2026
Добавлено: 25 сентября 2026 г.
Билинейные теоремы сложения и последовательности Сомоса
Пелевин Ф. Е., Математические заметки 2026 Т. 120 № 1 С. 159–163
Две не равные тождественно нулю функции (последовательности элементов некоторого поля) будем называть эквивалентными, если они удовлетворяют функциональному уравнению типа теорем сложения тэта-функций. Основной результат работы состоит в том, что рассматриваемое отношение действительно является отношением эквивалентности. ...
Добавлено: 25 сентября 2026 г.
Computable isomorphisms of relative regular Boolean algebras
Shimanogov I. N., Вялый М. Н., Siberian Mathematical Journal 2026 Vol. 67 No. 5 P. 1203–1212
Добавлено: 25 сентября 2026 г.
Dual role of Poisson impulses in Hindmarsh–Rose networks: Disorder, pattern formation, and synchronization
Ramazanov I., Bukh A., Shepelev Igor A., Chaos 2026 No. 36 P. 083150–083150
Добавлено: 24 сентября 2026 г.
Pairings on the algebra of Laurent series over a ring
Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.
Добавлено: 24 сентября 2026 г.
Vector systems of Painlevé type
Соколов В. В., Adler V. E., Journal of Geometry and Physics 2026 Vol. 227 Article 105860
Добавлено: 24 сентября 2026 г.
ON VECTOR SCHWARZ — KdV EQUATION
Соколов В. В., BALAKHNEV M. Y., Ufa Mathematical Journal 2026 Vol. 18 No. №3 P. 85–93
Добавлено: 24 сентября 2026 г.
Lorentzian Principal Bundles with Compact Structure Groups and Causal Properties
Яковлев Е. И., Maksimov D. A., Mathematical notes 2026 Vol. 120 No. 3 P. 483–496
Исследуются гладкие главные расслоения, тотальные пространства и базы которых представляют собой ориентированные во времени лоренцевы многообразия, а проекции являются лоренцевыми субмерсиями, сохраняющими ориентации во времени. Ранее авторами было показано, что хронологичность, причинность и устойчивая причинность всегда поднимаются с базы на пространство лоренцева расслоения, для сильной причинности и глобальной гиперболичности это верно в случае компактности структурной группы. В данной ...
Добавлено: 24 сентября 2026 г.
Novikov equations for commuting differential operators of orders 3,4,5
Соколов В. В., Shabat G. B., Tsiganov A. V., Journal of Geometry and Physics 2026 Vol. 220
Добавлено: 24 сентября 2026 г.
Hadrons in N=2 supersymmetric QCD from non-Abelian string on 2D black hole
Маршаков А. В., Yung A., Ievlev E. и др., Physical Review D - Particles, Fields, Gravitation and Cosmology 2026 No. 114 P. 1–22
Добавлено: 24 сентября 2026 г.
From non-polynomial invariants to non-Liouvillian first integrals
Demina M.V., Нечитайло В. Г., Analysis and Mathematical Physics 2026 Vol. 16 No. 5 P. 1–25
We present a method of finding non-Liouvillian first integrals of rational two-dimensional differential systems. The method is based on the existence of two independent invariants that satisfy a linear second-order ordinary differential equation with respect to one of the variables. We call systems with this property R-integrable. These invariants are not necessarily polynomial; they can ...
Добавлено: 24 сентября 2026 г.
An Asymptotic Version of the Parametrix Method for Markov Chains Converging to Diffusions
Bitter I., Конаков В. Д., Mathematical notes 2026 Vol. 120 No. 4 P. 599–615
Добавлено: 24 сентября 2026 г.
Iterative construction of the R-matrices in arbitrary dimensions
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 2026 г.
«Хореография танца» и «кинофильмы мыслей», или о причинах отсутствия общепризнанной танцевальной нотации
Боброва А. С., Волынская К. А., Праксема. Проблемы визуальной семиотики 2026 № 2(48) С. 212–235
В настоящее время всем известна музыкальная нотация, которая утвердилась несколько столетий назад. Что касается искусства танца, с ним дела обстоят значительно хуже. Танец, помимо того что имеет динамический характер, ещё и обладает и физическим воплощением. Придумать такую нотацию, которая учитывала бы визуальный, эмоциональный и технический аспекты, соблюдая одновременно с этим нормативные каноны сценического искусства, – ...
Добавлено: 2 июня 2026 г.
Ситуационная семантика А. Кратцер: факты и виды следования
Моисеева А. Ю., Философия науки 2019 № 4 (83) С. 147–167
В статье рассматривается понятие факта, а также другие базовые понятия ситуационной семантики, как они даны в версии А. Кратцер. Выявляются преимущества способа их конструирования, используемого Кратцер, перед способом, который использовался Дж. Барвайсом и Дж. Перри. Особое внимание уделяется функциям понятия факта в версии Кратцер в семантике эпистемических установок, а также в теории особого вида следования ...
Добавлено: 19 сентября 2023 г.
Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021)
Cham: Birkhäuser, 2024.
Добавлено: 31 августа 2023 г.
Formal Concept Analysis: 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings
Springer, 2021.
Книга вклюает в себя работы 16ой международной конференции по Анализу формальных понятий. Книга поделена на 5 секций: теория, правила, методы и приложения, исследование и визуализация ...
Добавлено: 10 июля 2021 г.
Active Inference and Abduction
Пиетаринен А. Ю., Beni M., Biosemiotics 2021
Добавлено: 17 мая 2021 г.
«Логика будущего», какой ее видел Ч.С. Пирс (первые тома Пирсианы)
Боброва А. С., Эпистемология и философия науки 2020 Т. 57 № 3 С. 176–189
Наконец-то увидела свет первая книга Пирсианы. Пирсиана задумана как новая серия, в которой планируется публиковать многие ранее неопубликованные поздние работы Пирса, а также труды современных исследователей, которые развивают идеи, высказанные американским мыслителем. Издание открывают три тома манускриптов «Логики Будущего». Именно так назвал Пирс свою теорию экзистенциальных графов, то есть диаграмматический логический проект, состоящий из разделов, ...
Добавлено: 19 апреля 2021 г.
Abductive theory of meaning
Шумилина В. А., / Series HUM "Humanities". 2020.
Добавлено: 15 ноября 2020 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору