Skip to main content
SpringerLink
Log in

On some applications of Heyting-valued analysis II

  • Conference paper
  • First Online:
COLOG-88 (COLOG 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 417))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Macintyre A.: Model completeness. Handbook of Mathematical Logic, North-Holland Publishing Company, Amsterdam, New York, Oxford, (1977), chapter 4

    Google Scholar 

  2. Macintyre A.: Model completeness for sheaves of structures. Fund. Math. (1973), 81, p73–89

    Google Scholar 

  3. Lyubetsky V.A. (Любецкий В.А.): Оценки и пучки. О некоторых вопросах нестандартного анализа. Успехи математических наук 4(268), (1989), 99–153

    Google Scholar 

  4. Lyubetsky V.A. (Любецкий В.А.): Некоторые применения теории топосов к изучению алгебраических систем. Приложение к книге: Джонстон П.Т. Теория топосов. М.: Наука, (1986)

    Google Scholar 

  5. Lyubetsky V.A. (Любецкий В.А.): Оценки и пучки. Препринт ИППИ АН СССР, Москва, (1988)

    Google Scholar 

  6. Lyubetsky V.A. (Любецкий В.А.): О некоторых применениях гейтинговозного анализа. Сборник работ конференции по компьютерной логике, Таллинн, АН ЗССР, 1(1988), 58–75

    Google Scholar 

  7. Lyubetsky V.A. (Любецкий В.А.): Алгебраические аспекты нестандартного анализа. Деп. ВИНИТИ 16.09.1983, номер 9341-83 деп.

    Google Scholar 

  8. Lyubetsky V.A. (Любецкий В.А.): Пучки на гейтинговой алгбре: случай колец. Деп. ВИНИТИ 09.01.84, номер 3971-84 деп.

    Google Scholar 

  9. Novikov P.S. (Новиков П.С.): О некоторых теоремах сумествования. Избранные труды, Москва, Наука, (1979), 127

    Google Scholar 

  10. Takeuti G., Titani S.: Intuitionistic fuzzy logic and intuitionistic set theory. Gourn. Symb. Logic, 3(1984), 49, p851–866

    Google Scholar 

  11. Rose B. I.: On the model theory of finite-dimensional algebras. Proc. London Math. Soc. (1980), 40, 21–39.

    Google Scholar 

  12. Pierse R.S.: Associative Algebras. Springer-Verlag, New York Heidelberg Berlin, (1982)

    Google Scholar 

  13. Velikhov E.P., Chernavskiy A.V.: Intellectual processes and their modelling. Nauka, Moscow. (1983)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Information Transmission Problems of the Academy of Sciences of the USSR, Ermolovoy str. 19, 101447, Moscow

    V. A. Lyubetsky

Authors
  1. V. A. Lyubetsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Per Martin-Löf Grigori Mints

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lyubetsky, V.A. (1990). On some applications of Heyting-valued analysis II. In: Martin-Löf, P., Mints, G. (eds) COLOG-88. COLOG 1988. Lecture Notes in Computer Science, vol 417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52335-9_53

Download citation

  • DOI: https://doi.org/10.1007/3-540-52335-9_53

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52335-2

  • Online ISBN: 978-3-540-46963-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation