1. 2015
  2. Современное религиозное фэнтези: инверсия этических категорий

    Иванова, Е. В. & Вострецов, Е., 2015, In: Журнал Сибирского федерального университета. Серия: Гуманитарные науки. 8, 8, p. 1534-1540 7 p.

    Research output: Contribution to journalArticlepeer-review

  3. ФИЛОСОФИЯ КАК ДЕЯТЕЛЬНОСТЬ: УСЛОВИЯ ВОЗМОЖНОСТИ

    Бакеева, Е. В., 2015, In: Исторические, философские, политические и юридические науки, культурология и искусствоведение. Вопросы теории и практики. 12-4(62), p. 29-33 5 p.

    Research output: Contribution to journalArticlepeer-review

  4. 2014
  5. Model-theoretic characterization of intuitionistic predicate formulas

    Olkhovikov, G. K., Aug 2014, In: Journal of Logic and Computation. 24, 4, p. 809-829 21 p.

    Research output: Contribution to journalArticlepeer-review

  6. On flattening elimination rules

    Olkhovikov, G. K. & Schroeder-Heister, P., Mar 2014, In: Review of Symbolic Logic. 7, 1, p. 60-72 13 p.

    Research output: Contribution to journalArticlepeer-review

  7. КРИТИЧЕСКОЕ ОСМЫСЛЕНИЕ ОНТОЛОГИЧЕСКИХ ОСНОВАНИЙ КОНЦЕПЦИИ «СИЛЬНОГО» ИСКУССТВЕННОГО ИНТЕЛЛЕКТА В КОНТЕКСТЕ ПРОБЛЕМАТИКИ ТЕОРИИ ДЕЙСТВИЯ Х. ЙОАСА

    Кляшторный, А. С., 2014, In: Известия Уральского федерального университета. Серия 3: Общественные науки. 125, 1, p. 106-117

    Research output: Contribution to journalArticlepeer-review

  8. 2013
  9. MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

    Olkhovikov, G. K., Jun 2013, In: Review of Symbolic Logic. 6, 2, p. 348-365 18 p.

    Research output: Contribution to journalArticlepeer-review

  10. FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC

    Mints, G., Olkhovikov, G. & Urquhart, A., 2013, In: Journal of Symbolic Logic. 78, 3, p. 937-950 14 p.

    Research output: Contribution to journalArticlepeer-review

  11. К ВОПРОСУ ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ

    Ламберов, Л. Д. & Кляшторный, А. С., 2013, In: Интеллект. Инновации. Инвестиции. 4, p. 185-193 9 p.

    Research output: Contribution to journalArticlepeer-review

  12. ФИЛОСОФСКИЙ СМЫСЛ КАРТИНЫ МИРА НЕКЛАССИЧЕСКОЙ НАУКИ

    Bryanik, N. V., 2013, In: Voprosy Filosofii. 1, p. 93-104 12 p.

    Research output: Contribution to journalReview articlepeer-review

  13. 2012
  14. ДВА ПОДХОДА К ПОСТРОЕНИЮ СЕМАНТИКИ ВОЗМОЖНЫХ МИРОВ

    Касаткин, А. В., 2012, In: Известия Уральского федерального университета. Серия 3: Общественные науки. 1 (100), p. 32-37

    Research output: Contribution to journalArticlepeer-review

ID: 46206