On Some Kinds of Constructive Fuzzy Logic
Abstract
Some modification of the Extended Fuzzy Constructive Logic [14] is considered. It is proved that this modification is actually equivalent to the Intuitionistic Fuzzy Logic introduced in [9].
References
H. Bolibekyan and I. Zaslavsky. “On the relations between two systems of fuzzy intuitionisticlogic”. Logic Colloquium 2010, Paris, July 25-31, Université Paris Diderot, La Halle auxFarines, Abstracts of contributed talks, p. 4, 2010.
H. B. Enderton. A Mathematical Introduction to Logic, 2nd edition, San Diego, Harcourt,Academic Press, 2001.
A. Heyting. Intuitionism (An Introduction). North-Hall Publ. Comp., Amsterdam, 1956.
S. C. Kleene. Introduction to Metamathematics. D. van Nostrand Comp., Inc., New-York-Toronto, 1952.
S. N. Manukian. “On some properties of recursively enumerable fuzzy sets”. In Proceedings ofthe conference “Computer Science and Information Technologies”, CSIT-99, Yerevan,Armenia, pp. 5-6, 1999.
V. Novak. Fuzzy sets and their applications. Adam Hilger, Bristol, 1989.
V. Novák, I. Perfilieva, J. Močkoř. Mathematical Principles of Fuzzy Logic. Kluwer AcademicPublishers, 1999.
E. Specker. “Nicht Konstructiv beweisbare Sätze der Analysis”. Journ. of Symb. Logic, vol. 14,№3, pp. 145-158, 1949.
G. Takeuti and S. Titani. “Intuitionistic fuzzy logic and intuitionistic fuzzy set theory”. Journ.of Symb. Logic, vol. 49, №3, pp. 851-866, 1984.
J. Yen, R. Langari. Fuzzy Logic, Intelligence, Control, and Information. Prentice-Hall, UpperSaddle River, New Jersey, 1999.
L. Zadeh. Fuzzy sets. Information and Control, vol. 8, pp. 338-353, 1965.
И. Д. Заславский. “О конструктивной истинности суждений и некоторыхнетрадиционных системах конструктивной логики”. Труды ВЦ АН Арм. ССР и ЕГУ,“Математические вопросы кибернетики и вычислительной техники”, т.8, с. 99-153, 1975.
И. Д. Заславский. “Нечеткая конструктивная логика”. Записки научных семинаровПОМИ, “Исследования по конструктивной математике и математической логике XI”, т.358, с. 130-152, 2008.
И. Д. Заславский. “Расширенная нечеткая конструктивная логика”. (To appear in“Записки научных семинаров ПОМИ”).
Б. А. Кушнер. Лекции по конструктивному математическому анализу. М., “Наука”,1973.
С. Н. Манукян. “О структуре нечетких рекурсивно перечислимых множеств”. ТрудыИнститута проблем информатики и автоматизации, “Математические вопросыкибернетики и вычислительной техники”, т. 17, с. 86-91, 1997.
С. Н. Манукян. “Некоторые алгебры рекурсивно перечислимых множеств и ихприложения к нечеткой логике”. Записки научных семинаров ПОМИ, “Теория сложностивычислений VIII”, т. 304, с. 75-98, 2003.
А. А. Марков. “О конструктивной математике”. Труды МИАН СССР, т. 67, с. 8-14, 1962.
Г. С. Цейтин, “Один способ изложения теории алгорифмов и перечислимых множеств”.Труды МИАН СССР, т. 72, с. 69-98, 1964.
Н. А. Шанин. “О конструктивном понимании математических суждений”. Труды МИАНСССР, т. 52, с. 266-311, 1958.
Н. А. Шанин. “Конструктивные вещественные числа и конструктивныефункциональные пространства”. Труды МИАН СССР, т. 67, с. 15-294, 1962.
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
