?
Models of HoTT and the Constructive View of Theories
Ch. 9. P. 191–219.
Родин А. В.
Язык:
английский
Гаврилович М. Р., Communications in Algebra 2020 Vol. 48 No. 4 P. 1548–1566
Добавлено: 29 октября 2020 г.
Родин А. В., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 42–43.
Добавлено: 30 июня 2019 г.
Valery Isaev, Mathematical Structures in Computer Science 2018 Vol. 28 No. 10 P. 1695–1722
Добавлено: 6 ноября 2018 г.
Сустретов Д. А., Zilber B., Solanki V., Annals of Pure and Applied Logic 2014 Vol. 165 No. 6 P. 1149–1168
Добавлено: 18 октября 2018 г.
Сустретов Д. А., Journal of Symbolic Logic 2016 Vol. 81 No. 3 P. 917–935
Добавлено: 18 октября 2018 г.
Золин Е. Е., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861–880
Доказан локальный аналог теоремы Гольдблатта-Томасона о характеризации модально определимых классов шкал Крипке с выделенной точкой; результат также обобщен на случай шкал с несколькими выделенными точками. Дается сравнение результатов с подобными результатами для гибридной модальной логики; формулируются открытые вопросы. ...
Добавлено: 14 июня 2018 г.
Родин А. В., , in: Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012).: St. Petersburg: ВВМ, 2012. P. 170–174.
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of
Frege’s famous Venus example, which explains how empirical evidences justify judgements about identities and accounts for
the constructive aspect of such judgements. ...
Добавлено: 6 июня 2018 г.
Родин А. В., , in: Frontiers of Fundamental Physics 14Vol. 224: EPISTEMOLOGY AND PHILOSOPHY.: [б.и.], 2014.
Homotopy Type theory instantiates a new form of axiomatic approach, which is more friendly to
physics than the standard axiomatic approach stemming from Hilbert. This new axiomatic approach
combines logical and geometrical methods in a new way and brings about a non-trivial
constructive concept of identity applicable in various physical contexts including Quantum Mechanics
and General Relativity. ...
Добавлено: 6 июня 2018 г.
Springer, 2019.
Homotopy Type theory and its Model theory provide a novel formal semantic
framework for representing scienti c theories. This framework supports a constructive
view of theories according to which a theory is essentially characterised by its methods.
The constructive view of theories was earlier defended by Ernest Nagel and a number of
other philosophers of the past but available logical ...
Добавлено: 5 июня 2018 г.
Родин А. В., IfCoLoG Journal of Logics and their Applications 2017 Vol. 4 No. 4 P. 1427–1446
The identity concept developed in the Homotopy Type theory (HoTT) supports an analysis of Frege's famous Venus example, which explains how empirical evidences justify judgements about identities. In the context of this analysis we consider the traditional distinction between the extension and the intension of concepts as it appears in HoTT, discuss an ontological signi cance ...
Добавлено: 5 июня 2018 г.
Родин А. В., Logique et Analyse 2018 Vol. 242 No. 2 P. 201–231
Добавлено: 26 мая 2018 г.
Улан-Удэ: Издательство Бурятского госуниверситета, 2017.
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
Фомичев В. А., Informatica. An International Journal of Computing and Informatics 2017 Vol. 41 No. 2 P. 221–232
Первой отправной точкой данной статьи является широко принятая идея применения в качестве перспективной методологии искусственного семантического языка-посредника для реализации межьязыкового интеллектуального информационного доступа к текстам на естественном языке (ЕЯ), хранящимся в Вебе. Второй отправной точкой является возникновение в компьютерной семантике в 2013 - 2016 годах большого интереса к семантическому формализму (более точно, нотации), названному Абстрактным ...
Добавлено: 4 сентября 2017 г.
Гаврилович М. Р., Bays M., Hils M., International Mathematics Research Notices 2014 Vol. 14 P. 3927–4000
Добавлено: 23 октября 2015 г.
Гаврилович М. Р., Hasson A., Israel Journal of Mathematics 2015 Vol. 209
Добавлено: 20 октября 2015 г.