1 - 10 out of 91Page size: 10
  1. 2012

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

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

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

  3. ФИЛОСОФИЯ В ЕЕ ОТНОШЕНИИ К БУДУЩЕМУ ЧЕЛОВЕЧЕСКОГО РОДА: статья в сборнике статей

    Плотников, В. И., 2012, Эпистемы. 2012. Вып. 7: Онто-гносеологические традиции: истоки и современность: сборник статей. Томюк, О. Н. & Кислов, А. Г. (eds.). Екатеринбург: Издательский Дом «Ажур», p. 154-164 11 p.

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

  4. 2013

  5. 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 journal › Article › peer-review

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

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

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

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

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

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

  8. 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 journal › Article › peer-review

  9. 2014

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

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

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

  11. 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 journal › Article › peer-review

  12. 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 journal › Article › peer-review

  13. 2015

  14. ON THE CORRELATION BETWEEN THE CONCEPTS OF SIN, SEDUCTION, TEMPTATION AND CHARM IN ORTHODOX ANTHROPOLOGY

    MELNIKOVA ELENA V, Е. В., 2015, In: Журнал Сибирского федерального университета. Серия: Гуманитарные науки. 8, 5, p. 912-918 7 p.

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

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 46206