11 - 20 out of 72Page size: 10
  1. 2019

  2. Models of HoTT and the Constructive View of Theories

    Rodin, A., 2019, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Centrone, S. (ed.). Springer Nature, p. 191-219 29 p. (Synthese Library; vol. 407).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  3. Truth and Justification in Knowledge Representation

    Родин, А. В. & Ковалёв, С., 2019, Proceedings of the 7th International Workshop "What can FCA do for Artificial Intelligence"?. (CEUR Workshop Proceedings; vol. 2529).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  4. Знания и их представление в компьютерную эпоху

    Родин, А. В. & Ковалёв, С., 2019, In: ЧЕЛОВЕК. 30, 4, p. 94-112 16 p.

    Research output: Contribution to journal › Article › peer-review

  5. 2018

  6. On the constructive axiomatic method

    Родин, А. В., Jun 2018, In: Logique et Analyse. 61, 242, p. 201-231 31 p.

    Research output: Contribution to journal › Review article › peer-review

  7. Rules versus Axioms: a Constructive View of Theories

    Родин, А. В., 2018, Handbook of 6th World Congress and School on Universal Logic (June 16-26, 2018, Vichy, France), Université Clermont Auvergne, 2018. Beziau, J-Y. (ed.). Clermont Auvergne, p. 541-542 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › peer-review

  8. Two “Styles” of axiomatization: Rules versus Axioms. A Modern Perspective

    Родин, А. В., 2018, In: Bulletin of Symbolic Logic. 24, 2, p. 263-264 2 p.

    Research output: Contribution to journal › Meeting Abstract › peer-review

  9. Univalent Foundations and the Constructive View of Theories

    Родин, А. В., 2018, Логико-философские штудии, 16, 1-2.

    Research output: Contribution to specialist publication › Letter › Other

  10. Проблема обоснования в формальном представлении знаний

    Ковалев, С. П. & Родин, А. В., 2018, In: ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. 46, p. 22-29 7 p.

    Research output: Contribution to journal › Article › peer-review

  11. Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

    Родин, А. В., 2018, (Accepted/In press) In: ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ. 55, 4, p. 44-47

    Research output: Contribution to journal › Comment/debate › peer-review

  12. 2017

  13. Categorical Model Theory and the Semantic View of Theories.

    Родин, А. В., 2017.

    Research output: Contribution to conference › Abstract › peer-review

Previous 1 2 3 4 5 6 7 8 Next

ID: 206488