Advertisement

On some applications of Heyting-valued analysis II

  • V. A. Lyubetsky
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 417)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Macintyre A.: Model completeness. Handbook of Mathematical Logic, North-Holland Publishing Company, Amsterdam, New York, Oxford, (1977), chapter 4Google Scholar
  2. 2.
    Macintyre A.: Model completeness for sheaves of structures. Fund. Math. (1973), 81, p73–89Google Scholar
  3. 3.
    Lyubetsky V.A. (Любецкий В.А.): Оценки и пучки. О некоторых вопросах нестандартного анализа. Успехи математических наук 4(268), (1989), 99–153Google Scholar
  4. 4.
    Lyubetsky V.A. (Любецкий В.А.): Некоторые применения теории топосов к изучению алгебраических систем. Приложение к книге: Джонстон П.Т. Теория топосов. М.: Наука, (1986)Google Scholar
  5. 5.
    Lyubetsky V.A. (Любецкий В.А.): Оценки и пучки. Препринт ИППИ АН СССР, Москва, (1988)Google Scholar
  6. 6.
    Lyubetsky V.A. (Любецкий В.А.): О некоторых применениях гейтинговозного анализа. Сборник работ конференции по компьютерной логике, Таллинн, АН ЗССР, 1(1988), 58–75Google Scholar
  7. 7.
    Lyubetsky V.A. (Любецкий В.А.): Алгебраические аспекты нестандартного анализа. Деп. ВИНИТИ 16.09.1983, номер 9341-83 деп.Google Scholar
  8. 8.
    Lyubetsky V.A. (Любецкий В.А.): Пучки на гейтинговой алгбре: случай колец. Деп. ВИНИТИ 09.01.84, номер 3971-84 деп.Google Scholar
  9. 9.
    Novikov P.S. (Новиков П.С.): О некоторых теоремах сумествования. Избранные труды, Москва, Наука, (1979), 127Google Scholar
  10. 10.
    Takeuti G., Titani S.: Intuitionistic fuzzy logic and intuitionistic set theory. Gourn. Symb. Logic, 3(1984), 49, p851–866Google Scholar
  11. 11.
    Rose B. I.: On the model theory of finite-dimensional algebras. Proc. London Math. Soc. (1980), 40, 21–39.Google Scholar
  12. 12.
    Pierse R.S.: Associative Algebras. Springer-Verlag, New York Heidelberg Berlin, (1982)Google Scholar
  13. 13.
    Velikhov E.P., Chernavskiy A.V.: Intellectual processes and their modelling. Nauka, Moscow. (1983)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • V. A. Lyubetsky
    • 1
  1. 1.Institute for Information Transmission Problems of the Academy of Sciences of the USSRMoscow

Personalised recommendations