Algebra and Logic

, Volume 30, Issue 3, pp 208–216 | Cite as

Intuitionistic theory of algebraic systems and heyting-valid analysis

  • V. A. Lyubetskii


Mathematical Logic Algebraic System Intuitionistic Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature cited

  1. 1.
    R. Grayson, "Heyting-valued models for intuitionistic set theory," in: Lect. Notes Math.,753, Springer, Berlin etc. (1977), pp. 402–414.Google Scholar
  2. 2.
    V. A. Lyubetskii, "Valuations and sheaves. On some questions of nonstandard analysis," Usp. Mat. Nauk,44, No. 4, 99–153 (1989).Google Scholar

Copyright information

© Plenum Publishing Corporation 1992

Authors and Affiliations

  • V. A. Lyubetskii

There are no affiliations available

Personalised recommendations