Fuzzy logic and fuzzy set theory

Springer Science and Business Media LLC - 1992
Gaisi Takeuti1, Satoko Titani2
1Department of Mathematics, University of Illinois at Urbana-Champaign, Urbana, USA
2Department of Mathematics, Chubu University, Kasugai, Aichi, Japan

Tóm tắt

Từ khóa


Tài liệu tham khảo

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

Thông tin
Thông tin xuất bản

Springer Science and Business Media LLC

Thông tin tác giả