References
Gentzen, G.: Untersuchungen über das logische Schließen. Math. Z.39, 176–210 (1935)
Grayson, R.J.: A sheaf approach to models of set theory. Oxford: M. Sc. Thesis 1975
Grayson, R.J.: Heyting valued models for intuitionistic set theory. Applications of sheaves (Proceedings of the research symposius, Durham 1981). (Lect. Notes Math., vol 753, pp. 402–414. Berlin Heidelberg New York: Springer 1979
Powell, W.C.: Extending Gödel's negative interpretation ofZF. J. Symb. Logic40, 221–229 (1975)
Schütte, K.: Proof Theory. Berlin Heidelberg New York: Springer 1977
Takeuti, G., Titani, S.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. Symb. Logic49, 851–866 (1984)
Takeuti, G., Titani, S.: Globalization of intuitionistic set theory. Ann. Pure Appl. Logic33, 195–211 (1987)
Takeuti, G., Titani, S.: Global intuitionistic fuzzy set theory. The Mathematics of Fuzzy Systems, pp. 291–301 Köln: TÜV-Verlag 1986
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Takeuti, G., Titani, S. Fuzzy logic and fuzzy set theory. Arch Math Logic 32, 1–32 (1992). https://doi.org/10.1007/BF01270392
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01270392